Janus: A novel use of Formal Verification for targeted behavioral equivalence.

Prakash Math David Hoenig

Published in: HLDVT (2008)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
target audience
human behavior
equivalence relation
datalog programs
behavioral model
functional verification