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)

Full work available at URL https://doi.org/10.1023/A:1020887910943

zbMATH Keywords

algorithmsautomata-theoretic approachesmodel checkingtemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) 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 action system refinements
• SWITCH technology: An automated approach to developing software for reactive systems
• Reducing bounded realizability analysis to reachability checking
• Model Checking Information Flow in Reactive Systems
• scientific article; zbMATH DE number 6720711 (Why is no real title available?)
• scientific article; zbMATH DE number 1746645 (Why is no real title available?)
• scientific article; zbMATH DE number 2112452 (Why is no real title available?)
• Reactive Systems
• A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
• Model-Checking Large Finite-State Systems and Beyond
• Extending Model Checking with Dynamic Analysis
• Automated temporal reasoning about reactive systems

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)