Abstract Interpretation for Block Diagrams - Two Case Studies.

Christian Dernehl Jan Kühn Stefan Kowalewski

Published in: MoDeVVa@MoDELS (2016)

Keyphrases

abstract interpretation
case study
termination analysis
static analysis
model checking
open source
active rules
active databases
reasoning engine
databases
information systems
development process
knowledge management
integrity constraints
dynamic analysis