PSTM Transaction Scheduler Verification Based on CSP and Testing.
Miroslav PopovicMarko PopovicBranislav KordicHuibiao ZhuPublished in: CoRR (2023)
Keyphrases
- constraint satisfaction problems
- formal verification
- test generation
- model checking
- test cases
- constraint satisfaction
- scheduling algorithm
- database
- real time database systems
- decomposition methods
- symbolic execution
- arc consistency
- verification method
- constraint solving
- asynchronous circuits
- arc consistency algorithm
- face verification
- signature verification
- concurrency control
- computational complexity
- neural network