Snapshot Verification
No abstract available.
Related papers
- Verification of Snapshot Isolation in Transactional Memory Java Programs ECOOP 2012
- Checking Robustness Against Snapshot Isolation CAV 2019
- Modal Object Diagrams ECOOP 2011
- Advances in Automatic Software Verification: SV-COMP 2020 TACAS 2020
- Software Verification: 10th Comparative Evaluation (SV-COMP 2021) TACAS 2021
- Efficient Model Checking for LTL with Partial Order Snapshots TACAS 2006
- Reasoning about Weak Isolation Levels in Separation Logic ICFP 2025
- Accelerating web application loading with snapshot of event and DOM handling CC 2019