Mehta, Mihir Parang; Cook, William R. Separation logic-based verification atop a binary-compatible filesystem model. (English) Zbl 1475.68094 Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 155-170 (2020). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{M. P. Mehta} and \textit{W. R. Cook}, Lect. Notes Comput. Sci. 12475, 155--170 (2020; Zbl 1475.68094) Full Text: DOI HAL
Malecha, Gregory; Morrisett, Greg; Wisnesky, Ryan Trace-based verification of imperative programs with I/O. (English) Zbl 1215.68070 J. Symb. Comput. 46, No. 2, 95-118 (2011). MSC: 68N30 68N01 PDFBibTeX XMLCite \textit{G. Malecha} et al., J. Symb. Comput. 46, No. 2, 95--118 (2011; Zbl 1215.68070) Full Text: DOI