Hob: A Tool for Verifying Data Structure Consistency
No abstract available.
Related papers
- Towards Verifying Crash Consistency OOPSLA 2025
- Verifying eventual consistency of optimistic replication systems POPL 2014
- RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency POPL 2025
- On verifying causal consistency POPL 2017
- Enhancing GenMC's Usability and Performance TACAS 2024
- Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed CAV 2023
- JaVerT: JavaScript verification toolchain POPL 2018
- VYRD: verifYing concurrent programs by runtime refinement-violation detection PLDI 2005