The automatic verification using symbolic model-checking

MaRDI QIDQ5754518zbMATH OpenFDO

Authors Satoshi Yamane

Publication date 22 August 2007

zbMATH Keywords

real-time systemsbinary decision diagrams

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1324666
• Symbolic verification and analysis of discrete timed systems
• Symbolic model checking for real-time systems
• scientific article; zbMATH DE number 1973987
• Model-checking in dense real-time

Cited in

(12)

• SMT-based induction methods for timed systems
• Application of the trace assertion method to the specification, design, and verification of automaton programs
• Feasibility analysis for robustness quantification by symbolic model checking
• Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems
• Application of Wu's method to symbolic model checking
• Efficient model-checking of dense-time systems with time-convexity analysis
• scientific article; zbMATH DE number 1088222 (Why is no real title available?)
• scientific article; zbMATH DE number 1629960 (Why is no real title available?)
• scientific article; zbMATH DE number 2102716 (Why is no real title available?)
• scientific article; zbMATH DE number 5917352 (Why is no real title available?)
• Model Checking MSVL Programs Based on Dynamic Symbolic Execution
• The Verus language: Representing time efficiently with BDDs

This page was built for publication: The automatic verification using symbolic model-checking

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