Colin Stirling
Springer New York
0e druk, 2011
9781441931535
Modal and Temporal Properties of Processes
Specificaties
Paperback, 191 blz.
|
Engels
Springer New York |
0e druk, 2011
ISBN13: 9781441931535
Rubricering
Onderdeel van serie
Texts in Computer Science
Levertijd ongeveer 8 werkdagen
Samenvatting
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
Specificaties
ISBN13:9781441931535
Taal:Engels
Bindwijze:paperback
Aantal pagina's:191
Uitgever:Springer New York
Druk:0
Inhoudsopgave
*Processes * Modalities and Capabilities * Bisimulations * Temporal Properties * Modal Mu-Calculus * Verifying Temporal Properties * Exposing Structure * References