Real-Time Model-Checking: Parameters everywhere

DOI10.2168/LMCS-3(1:7)2007zbMath1128.68052MaRDI QIDQ5310683

Véronique Bruyère, Jean-François Raskin

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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)

Related Items (7)

A survey of timed automata for the development of real-time systems ⋮ Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph ⋮ Parametric metric interval temporal logic ⋮ Unnamed Item ⋮ What’s Decidable About Parametric Timed Automata? ⋮ A game approach to the parametric control of real-time systems ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques

This page was built for publication: Real-Time Model-Checking: Parameters everywhere