Satrajit Chatterjee, Michael Kishinevsky. Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics. Formal Methods in System Design, 40(2):147-169, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.