1016: Forward Progress Checks In Formal Verification: Liveness Vs Safety
Ankit Garg, Nvidia
Technical Session 11 [Formal: Liveness and Use Cases]
1114: Liveness Assume-Guarantee Proof Schema: A Step Towards Liveness Full Proofs
Nitish Sharma, Qualcomm Inc; Venkata Nishanth Narisetty, Qualcomm Inc
1036: Next-Generation Formal Property Verification: Lightweight Theorem Proving Integrated Into Model Checking
Erik Seligman, Cadence; Karthik Baddam, Qualcomm