The WhyRel Prototype for Modular Relational Verification of Pointer Programs.
Ramana NagasamudramAnindya BanerjeeDavid A. NaumannPublished in: TACAS (2) (2023)
Keyphrases
- modular architecture
- model checking
- data structure
- symbolic execution
- relational data
- hardware designs
- relational databases
- multi relational
- automatic programming
- statistical relational learning
- formal verification
- face verification
- computer programs
- database
- relational model
- neural network
- concurrent systems
- real time
- control flow
- information systems
- learning algorithm
- java programs
- data mining
- verification method