Decidable Verification under Localized Release-Acquire Concurrency.
Abhishek Kr SinghOri LahavPublished in: TACAS (3) (2024)
Keyphrases
- distributed database systems
- concurrency control
- database systems
- transaction processing
- database management systems
- model checking
- transaction management
- linear time temporal logic
- computation tree logic
- fine grained
- concurrent execution
- database
- first order logic
- transitive closure
- formal verification
- information systems
- cryptographic protocols
- databases
- functional verification