Model Checking Software

DOI10.1007/11691617zbMath1178.68157OpenAlexW2480617525MaRDI QIDQ5899043

María del Mar Gallardo, Pedro Merino, Pedro de la Cámara

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691617

zbMATH Keywords

Model ExtractionState ExplosionStatic Analysis.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

The role of abstraction in model checking

Uses Software

• Java PathFinder
• Bandera

This page was built for publication: Model Checking Software