Model Checking Software

DOI10.1007/11691617zbMATH Open1178.68157OpenAlexW2480617525MaRDI QIDQ5899043FDOQ5899043

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

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

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)

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

Uses Software

• Java PathFinder
• Bandera

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)