Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
No abstract available.
DOI 10.1007/11817963_28
Related papers
- Combining Partial Order Reductions with On-the-fly Model-Checking CAV 1994
- What's Wrong with On-the-Fly Partial Order Reduction CAV 2019
- Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels PLDI 2023
- Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection TOPLAS 2018
- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors CAV 2004
- Model Checking C/C++ with Mixed-Size Accesses POPL 2025
- Partial Orders for Efficient Bounded Model Checking of Concurrent Software CAV 2013
- Dynamic Reductions for Model Checking Concurrent Software VMCAI 2017