CTL^* model checking on a shared-memory architecture

zbMATH Open1272.68259MaRDI QIDQ2848152FDOQ2848152

Authors: Cornelia P. Inggs, Howard Barringer 

Publication date: 25 September 2013

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

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

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)

Cited In (9)

• CTL model checking on a shared-memory architecture
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)