Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software.

Antoine Miné David Delmas

Published in: EMSOFT (2015)

Keyphrases

static analysis
symbolic execution
java card
source code
dynamic analysis
test generation
malicious code
abstract interpretation
software systems
regular expressions
test suite
model checking
control software
learning algorithm
embedded systems
operating system
open source
building blocks
data model
case study