Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015).

Published in: TACAS (2015)

Keyphrases

sufficient conditions
decision making
multi agent
domain knowledge
artificial intelligence
case study
multiscale
data structure
expert systems
association rules
image analysis
long term