Formal Verification by Reverse Synthesis.

Xiang Yin John C. Knight Elisabeth A. Nguyen Westley Weimer

Published in: SAFECOMP (2008)

Keyphrases

data sets
formal verification
model checking
model checker
symbolic model checking
bounded model checking
automated verification
program synthesis
program slicing
texture synthesis
coloured petri nets
neural network
multi agent systems
inference rules
functional verification