1016: Forward Progress Checks In Formal Verification: Liveness Vs SafetyAnkit Garg, NvidiaMore InfoCollapse
1114: Liveness Assume-Guarantee Proof Schema: A Step Towards Liveness Full ProofsNitish Sharma, Qualcomm Inc; Venkata Nishanth Narisetty, Qualcomm IncMore InfoCollapse
1036: Next-Generation Formal Property Verification: Lightweight Theorem Proving Integrated Into Model CheckingErik Seligman, Cadence; Karthik Baddam, QualcommMore InfoCollapse