Parallel and symbolic model checking for fixpoint logic with chop

MaRDI QIDQ2848153zbMATH OpenFDO

Authors Martin Lange, Hans Wolfgang Loidl

Publication date 25 September 2013

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 2087435
• Computer Aided Verification
• scientific article; zbMATH DE number 1927566
• Three notes on the complexity of model checking fixpoint logic with chop
• Parallel model checking for \texttt{LTL}, \texttt{CTL}\(^*\), and \(L^2_{\mu}\)

Cited in

(9)

• An example of sequentialization of a parallel algorithm
• Compositional properties of sequential processes
• scientific article; zbMATH DE number 1927566 (Why is no real title available?)
• scientific article; zbMATH DE number 1536554 (Why is no real title available?)
• scientific article; zbMATH DE number 2087435 (Why is no real title available?)
• Computer Aided Verification
• Parallelizing a symbolic compositional model-checking algorithm
• Theoretical Aspects of Computing – ICTAC 2005
• Three notes on the complexity of model checking fixpoint logic with chop

This page was built for publication: Parallel and symbolic model checking for fixpoint logic with chop

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