Symbolic Model Checking of Logics with Actions

DOI10.1007/978-3-540-74128-2_8MaRDI QIDQ5423886zbMATH OpenOpenAlexFDO

Authors Charles Pecheur, Franco Raimondi

Publication date 1 November 2007

Published in Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL http://discovery.ucl.ac.uk/5625/1/5625.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Symbolic model checking for temporal-epistemic logic
• scientific article; zbMATH DE number 2112166
• Action and knowledge in alternating-time temporal logic
• scientific article; zbMATH DE number 2087624
• Parallel model checking for temporal epistemic logic

Cited in

(8)

• Model checking temporal properties of reaction systems
• Model checking for symbolic-heap separation logic with inductive predicates
• Proving VLRL action properties with the Maude model checker
• Symbolic model checking for temporal-epistemic logic
• Symbolic Model Checking for Dynamic Epistemic Logic
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• A rewriting-based model checker for the linear temporal logic of rewriting
• Arbitrary action model logic and action model synthesis

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication: Symbolic Model Checking of Logics with Actions

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