Model Checking Value-Passing Modal Specifications

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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

• mCRL2
• VMC

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