The following pages link to Z/EVES (Q22226):
Displaying 35 items.
- JCML: A specification language for the runtime verification of Java card programs (Q436381) (← links)
- Z2SAL: a translation-based model checker for Z (Q539218) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- On using data abstractions for model checking refinements (Q878378) (← 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)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- A calculus for schemas in Z (Q1583855) (← links)
- A set solver for finite set relation algebra (Q1617837) (← links)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- The verified software repository: a step towards the verifying compiler (Q2432233) (← links)
- ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13--15, 2005. Proceedings. (Q2565504) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- (Q2763976) (← links)
- Conics on a general hypersurface in complex projective spaces (Q2872197) (← links)
- Formalizing workflows partitioning over federated clouds: multi-level security and costs (Q2921900) (← links)
- Unifying Theories of Undefinedness in UTP (Q3455642) (← links)
- Z/Eves and the Mondex Electronic Purse (Q3525137) (← links)
- Proving Theorems About JML Classes (Q3526934) (← links)
- Engineering AgentSpeak(L): a formal computational model (Q4209286) (← links)
- (Q4412490) (← links)
- (Q4436953) (← links)
- (Q4436972) (← links)
- (Q4436977) (← links)
- (Q4471919) (← links)
- (Q4472178) (← links)
- A Decision Procedure for Sets, Binary Relations and Partial Functions (Q4633533) (← links)
- (Q4654725) (← links)
- (Q4737563) (← links)
- (Q4808828) (← links)
- (Q4809071) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703821) (← links)
