C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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