Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics.

Satrajit Chatterjee, Michael Kishinevsky

Browse the full CAV paper archive.