Comfusy: A Tool for Complete Functional Synthesis.

Viktor Kuncak Mikaël Mayer Ruzica Piskac Philippe Suter

Published in: CAV (2010)

Keyphrases

knowledge base
databases
neural network
decision making
expert systems
data mining
computer vision
probabilistic model
software tools
analysis tool