Model Checking Av Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan Un

Model Checking Av Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan Un

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verification technology that provides an algorithmic means of determining whether an abstract modelrep......
fra 949,-
Tilgjengelig i 2 butikker
Frakt og levering
Beskrivelse
<b>An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.</b><p>Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. </p><p>The field of model checking has grown dramatically since
Forhåndsbestill
Frakt og levering

Produktinformasjon

Oppdag 'Model Checking' fra ledende eksperter

Er du klar til å dykke inn i en verden av modellkontrollering? Boken Model Checking Av Edmund M. Clarke, Orna Grumberg, Daniel Kroening og Doron Lustig gir deg en omfattende forståelse av teoriene og praksisene som driver denne teknologien fremover. Med fokus på hvordan man kan automatisere analysen av komplekse systemer, er dette et must-read for både studenter og forskere!

Hvorfor velge denne boken?

  • Oppdatert utgave: Denne reviderte utgaven tar for seg de nyeste fremskrittene innen modellkontroll, et område som har vokst betydelig siden 1999.
  • Grunnleggende teori: Forstå de viktigste algoritmene og deres anvendelse, noe som gjør dette til en perfekt introduksjon for klasserommet.
  • Praktiske eksempler: Lær om virkelige anvendelser innen VLSI-kretser, kommunikasjonsprotokoller og programvareenhetsdrivere.

Innhold og struktur

Boken går i dybden på temporallogikk og omfatter nye kapitler som fokuserer på:

  • Proposisjonell tilfredsstillelse
  • SAT-basert modellkontroll
  • Moteksemplarveiledet abstraksjonsforbedring
  • Programvaremodellkontroll

Disse temaene er essensielle for forståelsen av hvordan man kan identifisere og løse problemer i design og implementering.

En bok for fremtiden innen modellkontroll

Med Model Checking Av Edmund M. Clarke et al. får du ikke bare en bok, men et verktøy som kan hjelpe deg å navigere i det komplekse landskapet innen moderne teknologi. Er du klar til å ta første steg mot å mestre modellkontroll? Dette verket er din perfekte guide!

Spesifikasjon

Produkt
ProduktnavnJr. Edmund M. Clarke Model Checking
MerkeOther Brand

Pris og prishistorikk

Akkurat nå er 949,- den billigste prisen for Model Checking Av Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan Un blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste data og informasjonsteknologi for å være sikker på at du gjør det beste kjøpet.

Prisutvikling:
Stabil
Laveste pris:
759,-
Gjennomsnittspris:
821,-
Høyeste pris:
949,-
Beste tilbudet:
norli.no
Tilgjengelig