Research Article
Formal Verification of Hardware Components in Critical Systems
Listing 12
Example of proof using the duality property.
(1) | Lemma _check: x y, | (2) | sumexp (bexp x) (bexp y) sumexp (bexp y) (bexp x) | (3) | prodexp (bexp x) (bexp y) prodexp (bexp y) (bexp x). |
|