Model checking techniqes for the analysis of reactive systems

DOI10.1023/A:1020887910943MaRDI QIDQ1868165zbMATH OpenFDO

Authors Stephan Merz

Publication date 27 April 2003

Published in Synthese (Search for Journal in Brave)

zbMATH Keywords

algorithmsmodel checkingtemporal logicautomata-theoretic approaches

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1746645
• scientific article; zbMATH DE number 910719
• Introduction to model checking
• Model-Checking Large Finite-State Systems and Beyond
• scientific article; zbMATH DE number 1633145

Cited in

(12)

• Model Checking Information Flow in Reactive Systems
• Automated temporal reasoning about reactive systems
• Reactive Systems
• SWITCH technology: An automated approach to developing software for reactive systems
• Reducing bounded realizability analysis to reachability checking
• A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
• Model checking action system refinements
• scientific article; zbMATH DE number 1746645 (Why is no real title available?)
• Extending Model Checking with Dynamic Analysis
• scientific article; zbMATH DE number 2112452 (Why is no real title available?)
• Model-Checking Large Finite-State Systems and Beyond
• scientific article; zbMATH DE number 6720711 (Why is no real title available?)

This page was built for publication: Model checking techniqes for the analysis of reactive systems

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