Modular verification of code with SAT.
Greg DennisFelix Sheng-Ho ChangDaniel JacksonPublished in: ISSTA (2006)
Keyphrases
- satisfiability problem
- source code
- sat solvers
- model checking
- search algorithm
- open source
- symbolic execution
- boolean satisfiability
- error correcting
- sat problem
- max sat
- formal methods
- modular neural networks
- modular structure
- verification method
- neural network
- phase transition
- signature verification
- formal verification
- code generation
- face verification
- search strategies
- logic programs
- byte code
- face recognition