Z/EVES
From MaRDI portal
swMATH10262MaRDI QIDQ22226FDOQ22226
Author name not available (Why is that?)
Official website: http://czt.sourceforge.net/eclipse/zeves/
Cited In (63)
- 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?)
- A set solver for finite set relation algebra
- 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
- Alloy
- Lutess
- Moby/DC
- RAISE
- JACK
- TAS
- CZT
- ArcAngelC
- ProofPower
- JCML
- Cardinal
- ProB
- MUNCH
- Z2sal
- Plastic
- Title not available (Why is that?)
- Alcoa
- GraphWiz
- BWare
- Z
- FDR2
- FDR3
- FreeRTOS
- ProBE
- Jaza
- Overture Tool
- Circus
- ZRC
- JSetL
- 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
- A decision procedure for sets, binary relations and partial functions
- 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 of undefinedness in UTP
- 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
