Verifying concurrent, crash-safe systems with Perennial

Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
2019 Proceedings of the 27th ACM Symposium on Operating Systems Principles - SOSP '19  
doi:10.1145/3341301.3359632 dblp:conf/sosp/ChajedTKZ19 fatcat:wy6mqxzmwraxdngzxwitj6xuxa