Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Abstract elided by the publisher.
Related papers
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions OOPSLA 2023
- Verifying eventual consistency of optimistic replication systems POPL 2014
- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers CAV 2019
- JayHorn: A Java Model Checker - (Competition Contribution) TACAS 2019
- Safe replication through bounded concurrency verification OOPSLA 2018
- Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models OOPSLA 2024
- Eventual Consistency for CRDTs ESOP 2018