24 Challenges in Deductive Software Verification.

Reiner Hähnle Marieke Huisman

Published in: ARCADE@CADE (2017)

Keyphrases

lessons learned
key issues
open issues
data sets
technical challenges
object oriented
abductive inference
open questions
application scenarios
medical images
probabilistic model
query language
artificial neural networks
relational databases
case study
computer vision
neural network