Model Checking Value-Passing Modal Specifications

DOI10.1007/978-3-662-46823-4_25MaRDI QIDQ3455083zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Maurice H. ter Beek, S. Gnesi, Franco Mazzanti

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)

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

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1303726 (Why is no real title available?)
• scientific article; zbMATH DE number 1759610 (Why is no real title available?)
• 20 years of modal and mixed specifications.
• A state/event-based model-checking approach for the analysis of abstract system properties
• ACTLW -- an action-based computation tree logic with unless operator
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Distribution of Modal Transition Systems
• Handbook of philosophical logic. Vol. 6
• Modal I/O Automata for Interface and Product Line Theories
• Modal transition systems: composition and LTL model checking
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• Software Product Line Engineering
• Three logics for branching bisimulation

Cited in

(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. From Kandinsky to KandISTI

Describes a project that uses

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)