Using Interface Refinement to Integrate Formal Verification into the Design Cycle.

Jacob Chang Sergey Berezin David L. Dill

Published in: CAV (2004)

Keyphrases

formal verification
user interface
model checking
bounded model checking
case study
design process
engineering design
human computer interface
automated verification
computer interface
fuzzy sets
building blocks
symbolic model checking
functional verification