The following pages link to (Q4003036):
Displaying 22 items.
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Verification of reactive systems. Formal methods and algorithms. (Q1395897) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Bounded model checking of infinite state systems (Q2369883) (← links)
- Parameterised Boolean equation systems (Q2571204) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- Verification on infinite structures. (Q2760246) (← links)
- Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study (Q3066124) (← links)
- Complementary Criteria for Testing Temporal Logic Properties (Q3637251) (← links)
- (Q4028161) (← links)
- (Q4037371) (← links)
- (Q4531754) (← 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)
- Modal and temporal logics for processes (Q6560391) (← links)
- Proving liveness of fair transition systems (Q6567705) (← links)
