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) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)

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)

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

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)