Proof-Carrying Hardware via Inductive Invariants

Tobias Isenberg 0002, Marco Platzner, Heike Wehrheim, Tobias Wiersema. Proof-Carrying Hardware via Inductive Invariants. ACM Trans. Design Autom. Electr. Syst., 22(4), 2017. [doi]

Abstract

Abstract is missing.