Model Checking Value-Passing Modal Specifications
From MaRDI portal
Publication:3455083
DOI10.1007/978-3-662-46823-4_25zbMath1434.68303DBLPconf/ershov/BeekGM14OpenAlexW968636668WikidataQ62047625 ScholiaQ62047625MaRDI QIDQ3455083
Stefania Gnesi, Franco Mazzanti, Maurice H. ter Beek
Publication date: 3 December 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-46823-4_25
Related Items (2)
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints ⋮ From EU Projects to a Family of Model Checkers
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A state/event-based model-checking approach for the analysis of abstract system properties
- Proof systems for satisfiability in Hennessy-Milner logic with recursion
- Handbook of philosophical logic. Vol. 6
- ACTLW -- an action-based computation tree logic with unless operator
- Modal Transition Systems: Composition and LTL Model Checking
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Three logics for branching bisimulation
- Distribution of Modal Transition Systems
- Software Product Line Engineering
- Modal I/O Automata for Interface and Product Line Theories
This page was built for publication: Model Checking Value-Passing Modal Specifications