Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Z notation
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==See also== * [[Z User Group]] (ZUG) * [[Community Z Tools]] (CZT) project * Other [[formal methods]] (and languages using [[formal specification]]s): ** [[VDM-SL]], the main alternative to Z ** [[B-Method]], developed by Jean-Raymond Abrial (creator of Z notation) ** [[Z++]] and [[Object-Z]], object extensions for the Z notation **[[Alloy (specification language)|Alloy]], a specification language inspired by Z notation and implementing the principles of [[Object Constraint Language]] (OCL). ** Verus, a proprietary tool built by Compion, Champaign, Illinois (later purchased by Motorola), for use in the multi-level secure UNIX project pioneered by its Addamax division. * [[Fastest]], a [[model-based testing]] tool for the Z notation. * [[Unified Modeling Language]], a software system design modeling tool by [[Object Management Group]]
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)