Automation of C Program Deductive Verification without Using Loop Invariants.
Dmitry A. KondratyevValery A. NepomniaschyPublished in: Program. Comput. Softw. (2022)
Keyphrases
- functional programs
- hardware designs
- symbolic execution
- imperative programs
- object oriented
- test cases
- model checking
- loop formulas
- control program
- formal methods
- abductive inference
- deductive reasoning
- test generation
- signature verification
- genetic algorithm
- face verification
- computer programs
- invariant features
- logic programs
- feature vectors
- search engine