Pages that link to "Item:Q3525137"
From MaRDI portal
The following pages link to Z/Eves and the Mondex Electronic Purse (Q3525137):
Displaying 6 items.
- JCML: A specification language for the runtime verification of Java card programs (Q436381) (← links)
- Using formal reasoning on a model of tasks for FreeRTOS (Q903515) (← 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)
- FM 2005: Formal Methods (Q5716891) (← links)