Model checking techniqes for the analysis of reactive systems

DOI10.1023/A:1020887910943zbMath1016.03028MaRDI QIDQ1868165

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) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

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