Calculational design of a regular model checker by abstract interpretation.

Published in: Theor. Comput. Sci. (2021)

Keyphrases

model checking
model checker
formal verification
case study
abstract interpretation
database
database systems
data analysis
description language