×

Found 2 Documents (Results 1–2)

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
Full Text: DOI HAL

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software