Publication:3396636
From MaRDI portal
zbMath1169.68498MaRDI QIDQ3396636
Ulrik Nyman, Andrzej Wąsowski, Michael Huth, Adam Antonik, Kim Guldstrand Larsen
Publication date: 19 September 2009
68Q60: Specification and verification (program logics, model checking, etc.)
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
Related Items
EXPTIME-complete Decision Problems for Modal and Mixed Specifications, k-Bounded Petri Net Synthesis from Modal Transition Systems., From EU Projects to a Family of Model Checkers, Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints, Simulation relations and applications in formal methods, Coherent modal transition systems refinement, Consistency and refinement for interval Markov chains, Modal transition systems with weight intervals, Refinement modal logic, EXPTIME-completeness of thorough refinement on modal transition systems, Modal event-clock specifications for timed component-based design, Counterexample-guided inductive synthesis for probabilistic systems, Weighted modal transition systems, A linear-time-branching-time spectrum for behavioral specification theories, Refinement checking on parametric modal transition systems, On the Complexity of Semantic Self-minimization, A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories, Model Checking Value-Passing Modal Specifications