Verification of Programs Sensitive to Heap Layout.
Henrich LaukoLukás KorencikPetr RockaiPublished in: ACM Trans. Softw. Eng. Methodol. (2022)
Keyphrases
- symbolic execution
- data structure
- hardware designs
- model checking
- test generation
- face verification
- answer sets
- formal verification
- signature verification
- computer programs
- database
- image sequences
- pattern matching
- suffix tree
- decision trees
- search engine
- learning algorithm
- genetic algorithm
- provably correct
- verification method
- layout design
- neural network
- data sets