Sign in
Static analysis by abstract interpretation of embedded critical software.
Julien Bertrane
Patrick Cousot
Radhia Cousot
Jérôme Feret
Laurent Mauborgne
Antoine Miné
Xavier Rival
Published in:
ACM SIGSOFT Softw. Eng. Notes (2011)
Keyphrases
</>
static analysis
abstract interpretation
dynamic analysis
source code
test suite
termination analysis
regular expressions
open source
software development
databases
artificial intelligence
query processing
object oriented
distributed databases
reverse engineering