Moving Arrows and Four Model Checking Results

DOI10.1007/978-3-642-32621-9_11MaRDI QIDQ2915023zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Raul Fervari, Guillaume Hoffmann

Publication date 21 September 2012

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32621-9_11

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking: From Tools to Theory
• A partial approach to model checking
• scientific article; zbMATH DE number 2080188
• Model checking a path (preliminary report)
• From model checking to model measuring
• scientific article; zbMATH DE number 1670551
• scientific article; zbMATH DE number 1059247
• Model checking parameterized by the semantics in Maude

Cited in

(19)

• Introspection as an action in relational models
• Verification of dynamic bisimulation theorems in Coq
• On the subtle nature of a simple logic of the hide and seek game
• A modal logic for supervised learning
• Arrow update synthesis
• The modal logic of copy and remove
• Tableaux for relation-changing modal logics
• Sabotage modal logic: some model and proof theoretic aspects
• Relation-changing modal operators
• Relation-changing logics as fragments of hybrid logics
• scientific article; zbMATH DE number 7444842 (Why is no real title available?)
• The impact of including model update operators in modal logics
• Swap logic
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Copy and remove as dynamic operators
• On Composing Finite Forests with Modal Logics
• Foundations of Software Science and Computation Structures
• To be announced
• A simple logic of the hide and seek game

This page was built for publication: Moving Arrows and Four Model Checking Results

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