Program Transformation for Non-interference Verification on Programs with Pointers.
Mounir AssafJulien SignolesFrédéric TronelEric TotelPublished in: SEC (2013)
Keyphrases
- symbolic execution
- hardware designs
- computer programs
- program execution
- control program
- high level programming language
- static analysis
- automatic programming
- program slicing
- programming environment
- test data generation
- formal verification
- prolog programs
- test generation
- java bytecode
- source code
- application programs
- java programs
- novice programmers
- computer chess
- model checking
- functional programs
- programming environments
- programming language
- high level programming
- programs written
- intermediate level
- control flow
- stable model semantics
- program synthesis
- linear transformation
- formal methods
- imperative programs
- undergraduate engineering
- logic programs
- neural network