The following pages link to (Q2767090):
Displaying 10 items.
- Modalities for model checking: Branching time logic strikes back (Q1820578) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Model checking open systems with alternating projection temporal logic (Q2424878) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- (Q3539947) (← links)
- (Q4028161) (← links)
- (Q4415138) (← links)
- Template languages for fault monitoring of timed discrete event processes (Q4507145) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479159) (← links)
- Decidability of model checking with the temporal logic EF (Q5941100) (← links)