Marco Paviotti, Jesper Bengtson. Formally verifying exceptions for low-level code with separation logic. Journal of Logic and Algebraic Programming, 94:1-14, 2018. [doi]
@article{PaviottiB18,
title = {Formally verifying exceptions for low-level code with separation logic},
author = {Marco Paviotti and Jesper Bengtson},
year = {2018},
doi = {10.1016/j.jlamp.2017.09.004},
url = {https://doi.org/10.1016/j.jlamp.2017.09.004},
researchr = {https://researchr.org/publication/PaviottiB18},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {94},
pages = {1-14},
}