The following pages link to (Q4037087):
Displaying 16 items.
- A stubborn attack on state explosion (Q685106) (← links)
- Specification and automatic verification of self-timed queues (Q685115) (← links)
- Combining partial-order reductions with on-the-fly model-checking. (Q960506) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- A technique of state space search based on unfolding (Q1346650) (← links)
- Using integer programming to verify general safety and liveness properties (Q1346653) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Exploiting interleaving semantics in symbolic state-space generation (Q2642670) (← links)
- Modular synthesis of timed circuits using partial orders on LPNs (Q2842584) (← links)
- States that are far from being stabilizer states (Q3447828) (← links)
- The Birth of Model Checking (Q3512430) (← links)
- Model-checking for real-time systems (Q5055879) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
- Covering Steps Graphs of Time Petri Nets (Q5179058) (← links)
- (Q5690432) (← links)
- Comparing transition systems with independence and asynchronous transition systems (Q6104367) (← links)
