Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.

Daniel Kästner Christian Ferdinand

Published in: RSSRail (2016)

Keyphrases

abstract interpretation
static analysis
termination analysis
software development
safety critical
source code
test cases
active rules
dynamic analysis
database
software systems
model checking
reasoning engine
case study
high level
software architecture