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

Clark W. Barrett, Sergey Berezin

Browse the full CAV paper archive.