scientific article
From MaRDI portal
Publication:4003036
zbMath0753.68065MaRDI QIDQ4003036
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent systemsmodal logicPetri netsmodel-checkingtableau methodfixed point operatorscomplexity of mu-formulae on netspropositional modal mu-calculusverification of infinite systems
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (13)
Bounded model checking of infinite state systems ⋮ Towards the hierarchical verification of reactive systems ⋮ Reachability analysis of pushdown automata: Application to model-checking ⋮ On hierarchically developing reactive systems ⋮ Local model checking for context-free processes ⋮ Decidability of model checking with the temporal logic EF ⋮ Verification of reactive systems via instantiation of parameterised Boolean equation systems ⋮ Fixpoint alternation: arithmetic, transition systems, and the binary tree ⋮ A Note on Negative Tagging for Least Fixed-Point Formulae ⋮ Free \(\mu\)-lattices ⋮ Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study ⋮ Parameterised Boolean equation systems ⋮ Instantiation for Parameterised Boolean Equation Systems
This page was built for publication:
