AutoProof meets some verification challenges.
Julian TschannenCarlo A. FuriaMartin NordioPublished in: Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases
- lessons learned
- technical challenges
- key issues
- real world
- data mining
- formal verification
- model checking
- concurrent systems
- computational challenges
- application scenarios
- search algorithm
- real time
- relational databases
- design principles
- image processing
- web pages
- formal methods
- artificial intelligence
- open issues
- machine learning
- databases