Z/EVES - MaRDI portal

swMATH10262MaRDI QIDQ22226FDOQ22226

Author name not available (Why is that?)

Cited In (35)

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.
Solving quantifier-free first-order constraints over finite sets and binary relations
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Z2SAL: a translation-based model checker for Z
Title not available (Why is that?)
Unifying Theories of Undefinedness in UTP
A set solver for finite set relation algebra
A Decision Procedure for Sets, Binary Relations and Partial Functions
Formalizing workflows partitioning over federated clouds: multi-level security and costs
Title not available (Why is that?)
Title not available (Why is that?)
Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository
Title not available (Why is that?)
Mechanising a formal model of flash memory
POSIX file store in Z/Eves: An experiment in the verified software repository
A UTP semantics for \textsf{Circus}
On using data abstractions for model checking refinements
Title not available (Why is that?)
JCML: A specification language for the runtime verification of Java card programs
Title not available (Why is that?)
Using formal reasoning on a model of tasks for FreeRTOS
A tactic language for refinement of state-rich concurrent specifications
Title not available (Why is that?)
Title not available (Why is that?)
Conics on a general hypersurface in complex projective spaces
The verified software repository: a step towards the verifying compiler
ZB 2005: Formal Specification and Development in Z and B
A calculus for schemas in Z
Unifying theories in ProofPower-Z
Automated reasoning with restricted intensional sets
Engineering AgentSpeak(L): a formal computational model
Proving Theorems About JML Classes
Z/Eves and the Mondex Electronic Purse

This page was built for software: Z/EVES