Pages that link to "Item:Q2643130"
From MaRDI portal
The following pages link to A mini challenge: build a verifiable filesystem (Q2643130):
Displaying 10 items.
- Formalizing a hierarchical file system (Q432156) (← links)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Generating tests from B specifications and dynamic selection criteria (Q539227) (← 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)
- Proving the correctness of client/server software (Q1040009) (← links)
- Formalizing a Hierarchical File System (Q2994491) (← links)
- New Challenges in Model Checking (Q3512433) (← links)
- Generating Tests from B Specifications and Test Purposes (Q3535370) (← links)
- Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) (← links)
