Browsing by Author Lichtenberg, Jakob
Showing results 1 to 1 of 1
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Lahiri, Shuvendu K. ; Lal, Akash ; Gopinath, Sridhar ; Nutz, Alexander ; Levin, Vladimir ; Kumar, Rahul ; Deisinger, Nate ; Lichtenberg, Jakob ; Bansal, Chetan ; Ivrii, Alexander ; Strichman, Ofer | Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost | Inproceedings   | 2020 |