Extending Model Checking with Dynamic Analysis

DOI10.1007/978-3-540-78163-9_15MaRDI QIDQ5452713zbMATH OpenOpenAlexFDO

Authors Alex Groce, Rajeev Joshi

Publication date 4 April 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-78163-9_15

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6720711
• scientific article; zbMATH DE number 1744960
• scientific article; zbMATH DE number 1670551
• Model checking techniqes for the analysis of reactive systems
• scientific article; zbMATH DE number 2080188
• scientific article; zbMATH DE number 1617333
• Model Checking: From Tools to Theory
• Combining model checking and data-flow analysis

Cites work

• scientific article; zbMATH DE number 1982201 (Why is no real title available?)
• scientific article; zbMATH DE number 1744961 (Why is no real title available?)
• scientific article; zbMATH DE number 2087570 (Why is no real title available?)
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(8)

• Computer Aided Verification
• Model Checking Software
• Model checking dynamic memory allocation in operating systems
• Model Checking Software
• Computer Aided Verification
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• scientific article; zbMATH DE number 6720711 (Why is no real title available?)
• Combining model checking and data-flow analysis

Describes a project that uses

Uses Software

• ESC/Java
• JML
• Valgrind
• SPIN

This page was built for publication: Extending Model Checking with Dynamic Analysis

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