CTL^* model checking on a shared-memory architecture

MaRDI QIDQ2848152zbMATH OpenFDO

Authors Cornelia P. Inggs, Howard Barringer

Publication date 25 September 2013

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10) Applications of game theory (91A80)

Recommendations

• CTL model checking on a shared-memory architecture
• An experiment on parallel model checking of a CTL fragment
• Effective state exploration for model checking on a shared memory architecture
• Parallel model checking for \texttt{LTL}, \texttt{CTL}\(^*\), and \(L^2_{\mu}\)
• scientific article; zbMATH DE number 1705169

Cited in

(9)

• Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory
• Practical CTL* model checking: Should SPIN be extended?
• CTL model checking on a shared-memory architecture
• Effective state exploration for model checking on a shared memory architecture
• Load balancing parallel explicit state model checking
• scientific article; zbMATH DE number 177249 (Why is no real title available?)
• scientific article; zbMATH DE number 177502 (Why is no real title available?)
• An experiment on parallel model checking of a CTL fragment
• Model checking of biological systems

This page was built for publication: CTL\(^*\) model checking on a shared-memory architecture

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