Modular Verification of Finite Blocking in Non-terminating Programs.
Pontus BoströmPeter MüllerPublished in: ECOOP (2015)
Keyphrases
- symbolic execution
- hardware designs
- record linkage
- function symbols
- modular structure
- model checking
- formal verification
- fixpoint
- neural network
- java bytecode
- artificial intelligence
- learning algorithm
- face verification
- finite number
- temporal logic
- database systems
- automatic programming
- modular architecture
- information retrieval
- modular neural networks
- machine learning
- data sets
- low priority