Refinement and Consistency of Timed Modal Specifications

DOI10.1007/978-3-642-00982-2_13zbMath1234.68250OpenAlexW2149480831MaRDI QIDQ3618577

Sophie Pinchinat, Nathalie Bertrand, Jean-Baptiste Raclet

Publication date: 2 April 2009

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00982-2_13

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

Extending modal transition systems with structured labels ⋮ General quantitative specification theories with modal transition systems ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Modal event-clock specifications for timed component-based design ⋮ Modal transition systems with weight intervals ⋮ EXPTIME-completeness of thorough refinement on modal transition systems ⋮ Constraint Markov chains ⋮ Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

Cites Work

• Unnamed Item
• A theory of timed automata
• On Modal Refinement and Consistency
• Modal I/O Automata for Interface and Product Line Theories

This page was built for publication: Refinement and Consistency of Timed Modal Specifications