Advances in Automatic Software Verification: SV-COMP 2020.

Published in: TACAS (2) (2020)

Keyphrases

semi automatic
artificial intelligence
high level
expert systems
recent advances
fully automatic
labor intensive
search algorithm
pattern recognition
control system
real time
information retrieval
feature selection
training data
multiresolution
recent developments