Gå direkte til innholdet

Sommersalg på pocket fra 79,- »

Til startsiden
Søk etter din neste leseopplevelse
Theoretical and Practical Aspects of SPIN Model Checking
Theoretical and Practical Aspects of SPIN Model Checking
Spar

Theoretical and Practical Aspects of SPIN Model Checking

e-bok, Engelsk, 2003
615,-
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN,is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button"e; validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness.

Mer om Adlibris

Om Adlibris

Vi er Nordens største nettbokhandel, og tilbyr over 13 millioner boktitler og det meste av det beste innen spill, leker, hobby og garn. Vår misjon er å være en moderne bokhandel for alle bokelskere: et innbydende sted for lesing, læring og skaping. Det er hva som driver oss, hver dag. Adlibris er en del av Bonnier Group.

  • Alltid gode priser

  • Fri frakt over 299,-

  • Nordens største bokhandel

Meld deg på nyhetsbrev

Motta våre beste boktips, nyheter og gode tilbud. Registrer deg nå, og få 10% rabatt på det første kjøpet ditt. Tilbudet gjelder kun nye abonnenter og privatkunder. Rabatten gjelder ikke norske bøker utgitt 2024, fag- og studielitteratur, digitale bøker og gavekort.