Compositional checking of satisfaction

DOI10.1007/3-540-55179-4_4MaRDI QIDQ6493515

Henrik Reif Andersen, Glynn Winskel

Publication date: 29 April 2024

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A linear algorithm to solve fixed-point equations on transition systems
• Tableau-based model checking in the propositional mu-calculus
• Local model checking in the modal mu-calculus
• CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
• A compositional proof system on a category of labelled transition systems
• A lattice-theoretical fixpoint theorem and its applications
• Automatic verification of finite-state concurrent systems using temporal logic specifications

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)