Model checking concurrency and causality

DOI10.1007/978-3-319-57861-3_11MaRDI QIDQ1662535zbMATHOpenAlexFDO

Authors Karsten Wolf

Publication date 20 August 2018

Full work available at URL https://doi.org/10.1007/978-3-319-57861-3_11

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)

Recommendations

• Interleaving based model checking of concurrency and causality
• Model checking concurrent programs
• scientific article; zbMATH DE number 2111990
• Model checking a logic for true concurrency
• Tools and Algorithms for the Construction and Analysis of Systems
• Model-checking of correctness conditions for concurrent objects
• Compositional Model Checking of Concurrent Systems
• Computer Aided Verification
• scientific article; zbMATH DE number 967185

Cited in

(3)

• scientific article; zbMATH DE number 4110070 (Why is no real title available?)
• scientific article; zbMATH DE number 1497792 (Why is no real title available?)
• Interleaving based model checking of concurrency and causality

This page was built for publication: Model checking concurrency and causality

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