Unblocking dynamic partial order reduction
From MaRDI portal
Publication:6535634
Recommendations
Cites work
- Constrained dynamic partial order reduction
- Context-sensitive dynamic partial order reduction
- Dynamic partial-order reduction for model checking software
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- Optimal dynamic partial order reduction
- Optimal dynamic partial order reduction with observers
- Stateless model checking for TSO and PSO
- Stateless model checking under a reads-value-from equivalence
Cited in
(2)
This page was built for publication: Unblocking dynamic partial order reduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535634)