Research Article
Formal Verification of Hardware Components in Critical Systems
(1) | Notation “x y” (sum x y) | (2) | (at level 50, left associativity): bool_scope. | (3) | Notation “x y” (prod x y) | (4) | (at level 40, left associativity): bool_scope. | (5) | Notation “x” (not x) (at level 30, right associativity): bool_scope. | (6) | Notation “[ x ; .. ; y ]” (cons x .. (cons y nil) ..). |
|