Complete formal verification of the PSTM transaction Scheduler.

Miroslav Popovic Marko Popovic Branislav Kordic Huibiao Zhu

Published in: Comput. Sci. Inf. Syst. (2023)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
database
symbolic model checking
program slicing
scheduling algorithm
temporal logic
transaction management
knowledge base