A Symbolic Model Checker for Database Programs.

Angshuman Jana Md. Imran Alam Raju Halder

Published in: ICSOFT (2018)

Keyphrases

database
model checker
model checking
databases
database systems
formal verification
relational databases
formal methods
query language
temporal logic
description language
data model
source code
binary decision diagrams
state space
general purpose
formal specification
knowledge base