Calculational Design of a Regular Model Checker by Abstract Interpretation.

Published in: ICTAC (2019)

Keyphrases

model checking
model checker
abstract interpretation
formal methods
formal verification
termination analysis
database systems
domain specific
error rate
software architecture
formal specification
active rules