Model Checking Software

DOI10.1007/11691617MaRDI QIDQ5899043zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• Computer Aided Verification
• scientific article; zbMATH DE number 1953015
• Software Model Checking: Searching for Computations in the Abstract or the Concrete
• scientific article; zbMATH DE number 2087619
• scientific article; zbMATH DE number 2086963
• Abstraction and Refinement in Model Checking
• The abstraction-refinement framework in model checking
• scientific article; zbMATH DE number 1617333

Cited in

(4)

• The role of abstraction in model checking
• Computer Aided Verification
• Dynamic behavior matching: a complexity analysis and new approximation algorithms
• State Isomorphism in Model Programs with Abstract Data Structures

Describes a project that uses

Uses Software

• Bandera
• Java PathFinder

This page was built for publication: Model Checking Software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899043)