The following pages link to (Q4494389):
Displaying 17 items.
- Context-aware counter abstraction (Q600978) (← links)
- A lazy approach to symmetry reduction (Q613132) (← links)
- Efficient approximate verification of B and Z models via symmetry markers (Q622591) (← links)
- Combining symmetry reduction and under-approximation for symbolic model checking (Q816210) (← links)
- A template-based approach for the generation of abstractable and reducible models of featured networks (Q856936) (← links)
- Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
- Employing symmetry reductions in model checking (Q1886448) (← links)
- Multi-scale verification of distributed synchronisation (Q2225471) (← links)
- On Hierarchical Communication Topologies in the $$\pi $$ -calculus (Q2802475) (← links)
- (Q4426374) (← links)
- Vector Symmetry Reduction (Q5178970) (← links)
- Extending Symmetry Reduction Techniques to a Realistic Model of Computation (Q5178995) (← links)
- Correct Hardware Design and Verification Methods (Q5493233) (← links)
- Computer Aided Verification (Q5716543) (← links)
- FM 2005: Formal Methods (Q5716898) (← links)
- Correct Hardware Design and Verification Methods (Q5897069) (← links)
- Counter abstraction for regular open teams (Q6663521) (← links)