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

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares