Compositional checking of satisfaction

DOI10.1007/3-540-55179-4_4MaRDI QIDQ6493515zbMATH OpenFDO

Authors Henrik Reif Andersen, Glynn Winskel

Publication date 29 April 2024

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

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 4131643 (Why is no real title available?)
• scientific article; zbMATH DE number 4180789 (Why is no real title available?)
• scientific article; zbMATH DE number 4056971 (Why is no real title available?)
• scientific article; zbMATH DE number 177838 (Why is no real title available?)
• A compositional proof system on a category of labelled transition systems
• A lattice-theoretical fixpoint theorem and its applications
• A linear algorithm to solve fixed-point equations on transition systems
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• CTL^* and ECTL^* as fragments of the modal -calculus
• Local model checking in the modal mu-calculus
• Tableau-based model checking in the propositional mu-calculus

This page was built for publication: Compositional checking of satisfaction

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