Specification and Formal Verification of Atomic Concurrent Real-Time Transactions.
Simin CaiBarbara GallinaDag NyströmCristina SeceleanuPublished in: PRDC (2018)
Keyphrases
- formal verification
- real time
- model checking
- bounded model checking
- automated verification
- model checker
- symbolic model checking
- database
- concurrent execution
- program slicing
- temporal logic
- real time systems
- transaction management
- transition systems
- real time database systems
- formal specification
- database management systems
- control system
- artificial intelligence