Load balancing parallel explicit state model checking

zbMATH Open1272.68265MaRDI QIDQ2848145FDOQ2848145

Authors: Rahul Kumar, Eric G. Mercer 

Publication date: 25 September 2013

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

Recommendations

• scientific article; zbMATH DE number 2217744
• Effective state exploration for model checking on a shared memory architecture
• CTL model checking on a shared-memory architecture
• scientific article; zbMATH DE number 1746649
• CTL\(^*\) model checking on a shared-memory architecture

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Title not available (Why is that?)
• Model checking of biological systems

Uses Software

• Chaff
• dSPIN

This page was built for publication: Load balancing parallel explicit state model checking

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