Z/EVES
From MaRDI portal
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
- scientific article; zbMATH DE number 2090312 (Why is no real title available?)
- scientific article; zbMATH DE number 2143088 (Why is no real title available?)
- Z2SAL: a translation-based model checker for Z
- scientific article; zbMATH DE number 1949596 (Why is no real title available?)
- scientific article; zbMATH DE number 2013591 (Why is no real title available?)
- A set solver for finite set relation algebra
- Formalizing workflows partitioning over federated clouds: multi-level security and costs
- scientific article; zbMATH DE number 2013572 (Why is no real title available?)
- scientific article; zbMATH DE number 2090136 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 2079997 (Why is no real title available?)
- 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
- Alcoa
- GraphWiz
- BWare
- Z
- FDR2
- FDR3
- FreeRTOS
- ProBE
- Jaza
- Overture Tool
- Circus
- ZRC
- JSetL
- scientific article; zbMATH DE number 2079817 (Why is no real title available?)
- JCML: A specification language for the runtime verification of Java card programs
- A tactic language for refinement of state-rich concurrent specifications
- Using formal reasoning on a model of tasks for FreeRTOS
- scientific article; zbMATH DE number 2086955 (Why is no real title available?)
- scientific article; zbMATH DE number 1693435 (Why is no real title available?)
- Conics on a general hypersurface in complex projective spaces
- scientific article; zbMATH DE number 2013587 (Why is no real title available?)
- A decision procedure for sets, binary relations and partial functions
- The verified software repository: a step towards the verifying compiler
- A calculus for schemas in Z
- ZB 2005: Formal Specification and Development in Z and B
- 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
