The following pages link to (Q4003036):
Displaying 12 items.
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Bounded model checking of infinite state systems (Q2369883) (← links)
- Parameterised Boolean equation systems (Q2571204) (← links)
- Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study (Q3066124) (← links)
- Local model checking for context-free processes (Q4630295) (← links)
- Fixpoint alternation: arithmetic, transition systems, and the binary tree (Q4943547) (← links)
- A Note on Negative Tagging for Least Fixed-Point Formulae (Q4943549) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)
- Decidability of model checking with the temporal logic EF (Q5941100) (← links)
- Free \(\mu\)-lattices (Q5960406) (← links)
