Pages that link to "Item:Q1004296"
From MaRDI portal
The following pages link to POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296):
Displaying 7 items.
- Formalizing a hierarchical file system (Q432156) (← links)
- Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository (Q1004294) (← links)
- Mechanising a formal model of flash memory (Q1004295) (← links)
- POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296) (← links)
- The verified software repository: a step towards the verifying compiler (Q2432233) (← links)
- A mini challenge: build a verifiable filesystem (Q2643130) (← links)
- Formalizing a Hierarchical File System (Q2994491) (← links)