Z
From MaRDI portal
swMATH10291MaRDI QIDQ22253FDOQ22253
Author name not available (Why is that?)
Official website: http://en.wikipedia.org/wiki/Z_notation
Cited In (only showing first 100 items - show all)
- Semantic essence of AsmL
- CCSP
- CirCUs
- HasCasl
- KILLING
- RelView
- REPSN
- Riegeom
- Lambda Library C++
- PLTMGC
- APS-1
- Alloy
- GeneSyst
- jContractor
- rCOS
- Smalltalk
- ArcAngel
- SecureUML
- LARCH
- CASL
- AGATHA
- LOTOS
- HOL-Z
- RAISE
- SPARK
- Eiffel
- TCOZ
- Daikon
- Simulink
- Petruchio
- JACK
- StateFlow
- TLA
- JATLite
- NISPOC
- TAS
- CZT
- CafeOBJ
- ArcAngelC
- ClawZ
- ProofPower
- JCML
- Casper
- UTP2
- SCR
- ProB
- Rodin
- MUNCH
- GATeL
- Z2sal
- STG
- csp2B
- jSpin
- Mod-p group cohomology
- TituRel
- GUPRO
- CHomP
- Columbus
- Alcoa
- CalcCheck
- SysML
- AToM3
- Galculator
- KIV
- GraphWiz
- BWare
- LOOP
- UML2Alloy
- Z/EVES
- tptp2X
- CSP-prover
- FDR2
- Handel-C
- FDR3
- UMLsec
- JViews
- FreeRTOS
- UNITY
- RGITL
- Isabelle/Circus
- GBDD
- KURE
- ProBE
- NAT2TEST
- HOL-TestGen
- Jaza
- Line-up
- K-Java
- Java Jr
- Esterel
- Ampersand
- Markdown
- Isabelle/UTP
- Simula 67
- webLurch
- StaRVOOrS
- JCML: A specification language for the runtime verification of Java card programs
- A tactic language for refinement of state-rich concurrent specifications
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
- HasCasl: integrated higher-order specification and program development
This page was built for software: Z
