Automated Verification of Relational While-Programs.
Rudolf BerghammerPeter HöfnerInsa StuckePublished in: RAMiCS (2014)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- temporal logic
- relational databases
- relational data
- automatic programming
- artificial intelligence
- computer programs
- databases and data warehouses
- multi relational
- graph theory
- search algorithm
- relational model
- constraint satisfaction problems
- data model
- information systems
- learning algorithm
- neural network
- java programs
- databases
- database