Using assumptions to distribute CTL model checking

MaRDI QIDQ2842859zbMATH OpenFDO

Authors Luboš Brim, Jitka Crhová, Karen Yorav

Publication date 16 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105807583

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2188504
• Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking
• scientific article; zbMATH DE number 1744967
• Distributed symbolic model checking for -calculus
• Sequential and distributed model checking of Petri net specifications

Cites work

• An automata-theoretic approach to branching-time model checking
• scientific article; zbMATH DE number 2079827 (Why is no real title available?)
• scientific article; zbMATH DE number 2080197 (Why is no real title available?)
• scientific article; zbMATH DE number 1512628 (Why is no real title available?)
• scientific article; zbMATH DE number 1744967 (Why is no real title available?)
• scientific article; zbMATH DE number 2102712 (Why is no real title available?)
• scientific article; zbMATH DE number 910719 (Why is no real title available?)
• Parallelizing the \(\text{Mur}\varphi\) verifier
• Using assumptions to distribute CTL model checking

Cited in

(5)

• Distributed automata in an assumption-commitment framework
• CTL model checking on a shared-memory architecture
• Using assumptions to distribute CTL model checking
• Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking
• scientific article; zbMATH DE number 2188504 (Why is no real title available?)

This page was built for publication: Using assumptions to distribute CTL model checking

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