Model Checking Software

DOI10.1007/B96721zbMATH Open1125.68386OpenAlexW54779658MaRDI QIDQ5308372FDOQ5308372

Authors: Hubert Garavel, Radu Mateescu 

Publication date: 28 September 2007

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

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

Recommendations

• TRACER: a symbolic execution tool for verification
• The trace modality
• scientific article; zbMATH DE number 2013784
• scientific article; zbMATH DE number 177254
• Towards diagrammability and efficiency in event sequence languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Uncertainty in runtime verification: a survey
• SEQ.OPEN

Uses Software

• 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 Q5308372)