Model checking /

Annotation.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (Autor), Grumberg, Orna (Autor), Peled, Doron A., 1962- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, Mass. : MIT Press, ©1999.
Temas:
Computer systems > Verification.
Logiciels > Vérification.
Systèmes informatiques > Vérification.
COMPUTERS > Software Development & Engineering > Systems Analysis & Design.
Model Checking
Datenverarbeitungssystem
Computersystemen.
Modellen (theorie)
Verificatie.
Verificação e validação de software.
Engenharia de software.
Engineering & Applied Sciences.
Computer Science.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Modeling systems
  • Trmporal logics
  • Model checking
  • Binary decision diagram
  • Symbolic model checking
  • Model checking for the u-calculus
  • Model checking in practice
  • Model checking and automata theory
  • Partial order reduction
  • Equivalences and preorders between structures
  • Compositional reasoning
  • Abstraction
  • Symmetry
  • Infinite families of finite-state systems
  • Discrete real-time and quantitative temporal analysis
  • Continuous real time.

Ejemplares similares