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
Tabla de Contenidos:
  • System verification
  • Modelling concurrent systems
  • Linear-time properties
  • Regular properties
  • Linear temporal logic
  • Computation tree logic
  • Equivalences and abstraction
  • Partial order reduction
  • Timed automata
  • Probabilistic systems.

Ejemplares similares