VIAP - Automated System for Verifying Integer Assignment Programs with Loops.

Pritom Rajkhowa Fangzhen Lin

Published in: SYNASC (2017)

Keyphrases

semi automated
computer assisted
context sensitive
fully automated
decision making
real time
databases
data mining
computer vision
bayesian networks
multi agent
logic programming
computer aided
prolog programs