Sign in
Static Analysis and Verification of Aerospace Software by Abstract Interpretation.
Julien Bertrane
Patrick Cousot
Radhia Cousot
Jérôme Feret
Laurent Mauborgne
Antoine Miné
Xavier Rival
Published in:
Found. Trends Program. Lang. (2015)
Keyphrases
</>
static analysis
abstract interpretation
symbolic execution
java card
source code
dynamic analysis
test generation
model checking
formal methods
test suite
regular expressions
termination analysis
artificial intelligence
databases
high level
open source