An abstract interpretation toolkit for µCRL.

Miguel Valero Espada Jaco van de Pol

Published in: Formal Methods Syst. Des. (2007)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
dynamic analysis
active databases
knowledge base
open source
reverse engineering