A mini challenge: build a verifiable filesystem
From MaRDI portal
Publication:2643130
DOI10.1007/s00165-006-0022-3zbMath1123.68336OpenAlexW2020395879MaRDI QIDQ2643130
Gerard J. Holzmann, Rajeev Joshi
Publication date: 23 August 2007
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-006-0022-3
Related Items (10)
New Challenges in Model Checking ⋮ Formalizing a hierarchical file system ⋮ Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning ⋮ Generating Tests from B Specifications and Test Purposes ⋮ Formalizing a Hierarchical File System ⋮ Generating tests from B specifications and dynamic selection criteria ⋮ Extended Static Checking by Calculation Using the Pointfree Transform ⋮ Mechanising a formal model of flash memory ⋮ POSIX file store in Z/Eves: An experiment in the verified software repository ⋮ Proving the correctness of client/server software
Cites Work
This page was built for publication: A mini challenge: build a verifiable filesystem
