Z/EVES
From MaRDI portal
Software:22226
No author found.
Related Items (35)
Unnamed Item ⋮ A set solver for finite set relation algebra ⋮ Unifying Theories of Undefinedness in UTP ⋮ Unnamed Item ⋮ Formalizing workflows partitioning over federated clouds: multi-level security and costs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On using data abstractions for model checking refinements ⋮ Automated reasoning with restricted intensional sets ⋮ Unnamed Item ⋮ Unifying theories in ProofPower-Z ⋮ Using formal reasoning on a model of tasks for FreeRTOS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The verified software repository: a step towards the verifying compiler ⋮ JCML: A specification language for the runtime verification of Java card programs ⋮ Z/Eves and the Mondex Electronic Purse ⋮ Proving Theorems About JML Classes ⋮ A Decision Procedure for Sets, Binary Relations and Partial Functions ⋮ ZB 2005: Formal Specification and Development in Z and B ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Z2SAL: a translation-based model checker for Z ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository ⋮ Mechanising a formal model of flash memory ⋮ POSIX file store in Z/Eves: An experiment in the verified software repository ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ A UTP semantics for \textsf{Circus} ⋮ Engineering AgentSpeak(L): a formal computational model ⋮ 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. ⋮ A calculus for schemas in Z ⋮ CONICS ON A GENERAL HYPERSURFACE IN COMPLEX PROJECTIVE SPACES
This page was built for software: Z/EVES
