Proof-guided Underapproximation Widening for Bounded Model Checking
Authors: Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal and Subhajit Roy
Paper Information
| Title: | Proof-guided Underapproximation Widening for Bounded Model Checking |
| Authors: | Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal and Subhajit Roy |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Bounded model checking, Underapproximation widening, Software verification |
| Pages: | 21 |
| Talk: | Aug 07 17:00 (Session 92A: Software Verification and Model Checking) |
| Paper: |  |