Model Checking Value-Passing Modal Specifications

DOI10.1007/978-3-662-46823-4_25zbMATH Open1434.68303DBLPconf/ershov/BeekGM14OpenAlexW968636668WikidataQ62047625 ScholiaQ62047625MaRDI QIDQ3455083FDOQ3455083

S. 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

Recommendations

• Automata, Languages and Programming
• Logic Programming
• scientific article; zbMATH DE number 1693429
• Model checking
• scientific article; zbMATH DE number 910719
• On decidability and model checking for a first order modal logic for value-passing process
• Model checking parameterized by the semantics in Maude

Mathematics Subject Classification ID

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

Cites Work

• ACTLW -- an action-based computation tree logic with unless operator
• Title not available (Why is that?)
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Software Product Line Engineering
• Modal I/O Automata for Interface and Product Line Theories
• Three logics for branching bisimulation
• Handbook of philosophical logic. Vol. 6
• Modal Transition Systems: Composition and LTL Model Checking
• A state/event-based model-checking approach for the analysis of abstract system properties
• 20 years of modal and mixed specifications.
• Title not available (Why is that?)
• Distribution of Modal Transition Systems
• Title not available (Why is that?)
• Proof systems for satisfiability in Hennessy-Milner logic with recursion

Cited In (2)

• 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

Uses Software

• mCRL2
• VMC

This page was built for publication: Model Checking Value-Passing Modal Specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455083)