Refinement and Consistency of Timed Modal Specifications
From MaRDI portal
Publication:3618577
DOI10.1007/978-3-642-00982-2_13zbMath1234.68250MaRDI 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
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
General quantitative specification theories with modal transition systems, Modal transition systems with weight intervals, Constraint Markov chains, Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects, EXPTIME-completeness of thorough refinement on modal transition systems, Modal event-clock specifications for timed component-based design, Extending modal transition systems with structured labels, Methodologies for Specification of Real-Time Systems Using Timed I/O Automata
Cites Work