The following pages link to Computer Aided Verification (Q5312912):
Displaying 9 items.
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- Parameterized verification of leader/follower systems via first-order temporal logic (Q2149965) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (Q3637253) (← links)
- Graph Logics with Rational Relations (Q5278208) (← links)
- On Verifying Fault Tolerance of Distributed Protocols (Q5458335) (← links)
