On Software Safety, Security, and Abstract Interpretation.

Daniel Kästner Laurent Mauborgne Christian Ferdinand

Published in: FM (2018)

Keyphrases

abstract interpretation
static analysis
termination analysis
source code
active databases
active rules
software development
software architecture
model checking
access control
software systems
dynamic analysis
databases
reasoning engine
data flow
software testing
mobile devices
database systems