Compositional checking of satisfaction
From MaRDI portal
Publication:685107
DOI10.1007/BF00709155zbMath0776.68083MaRDI QIDQ685107
Henrik Reif Andersen, Glynn Winskel
Publication date: 30 September 1993
Published in: Formal Methods in System Design (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Model checking and boolean graphs, Compositionality of Hennessy-Milner logic by structural operational semantics, Temporal logic and categories of Petri nets, Complete proof systems for weighted modal logic, Logical vs. behavioural specifications, A compositional \(\mu\)-calculus proof system for statecharts processes, Compositional verification of asynchronous concurrent systems using CADP
Cites Work
- A linear algorithm to solve fixed-point equations on transition systems
- Tableau-based model checking in the propositional mu-calculus
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
- A lattice-theoretical fixpoint theorem and its applications
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Unnamed Item
- Unnamed Item
- Unnamed Item
