Synthesizing Environment Invariants for Modular Hardware Verification

Authors: Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik - Lecture notes in computer science 2020 cited by 13