Lingfeng Zhu

最新

• Leveraging Critical Proof Obligations for Efficient IC3 Verification