Principles of model checking /

Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Baier, Christel
Otros Autores: Katoen, Joost-Pieter
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, Mass. : MIT Press, [2008?]
Colección:MIT Press Ser.
Temas:
Computer systems > Verification.
Computer software > Verification.
Computer systems > Verification > Mathematical models.
Systèmes informatiques > Vérification.
Systèmes informatiques > Vérification > Modèles mathématiques.
Logiciels > Vérification > Modèles mathématiques.
Logiciels > Vérification.
COMPUTERS > Systems Architecture > General.
Computer software > Verification
Computer systems > Verification
Programmverifikation
Acceso en línea:Texto completo
Descripción
Sumario:Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique.
Descripción Física:1 online resource (xvii, 975 pages) : illustrations
Bibliografía:Includes bibliographical references (pages 931-964) and index.
ISBN:9780262267564
026226756X
9781435643277
1435643275
1282099574
9781282099579
9786612099571
6612099577

Ejemplares similares