Compositional reasoning in model checking

DOI10.1007/3-540-49213-5_4MaRDI QIDQ7010080zbMATH OpenFDO

Authors Sergey Berezin, Sérgio Campos, Edmund Clarke

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Characterizing finite Kripke structures in propositional temporal logic
• Fair simulation
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 4180789 (Why is no real title available?)
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 177845 (Why is no real title available?)
• Modal logics for communicating systems
• Proofs of Networks of Processes
• Three Partition Refinement Algorithms

This page was built for publication: Compositional reasoning in model checking

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