CVC Lite: A New Implementation of the Cooperating Validity Checker Category B.

Clark W. Barrett Sergey Berezin

Published in: CAV (2004)

Keyphrases

multiscale
implementation issues
decision making
information technology
multiresolution
efficient implementation
hardware implementation
implementation details