Modal Transition Systems: Composition and LTL Model Checking
From MaRDI portal
Publication:3172917
DOI10.1007/978-3-642-24372-1_17zbMath1348.68119OpenAlexW191732302MaRDI QIDQ3172917
Jan Křetínský, Nikola Beneš, Ivana Černá
Publication date: 7 October 2011
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_17
Related Items
Model Checking Value-Passing Modal Specifications, ACTL for modal interface automata, General quantitative specification theories with modal transition systems, A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories, Weighted modal transition systems, Compositionality for quantitative specifications, A linear-time-branching-time spectrum for behavioral specification theories, Logical vs. behavioural specifications, Refinement checking on parametric modal transition systems, Richer interface automata with optimistic and pessimistic compatibility
