Browsing by Author Beringer, Lennart
Showing results 1 to 4 of 4
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2019 | Abstraction and Subsumption in Modular Verification of C Programs | Beringer, Lennart; Appel, Andrew W |
| 2021 | Abstraction and subsumption in modular verification of C programs | Beringer, Lennart; Appel, Andrew W |
| Sep-2017 | Position paper: the science of deep specification | Appel, Andrew W; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C; Shao, Zhong; et al |
| 21-Feb-2018 | VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs | Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W |