On Integrating Deductive Synthesis and Verification Systems

Etienne Kneuss Viktor Kuncak Ivan Kuraj Philippe Suter

Published in: CoRR (2013)

Keyphrases

distributed systems
computing systems
real time
genetic algorithm
learning systems
databases
computer vision
image sequences
expert systems
knowledge based systems