|
gptkbp:instanceOf
|
formal specification language
|
|
gptkbp:basedOn
|
gptkb:set_theory
first-order predicate logic
|
|
gptkbp:conference
|
gptkb:Z_User_Meeting
|
|
gptkbp:containsCommunity
|
gptkb:Z_User_Group
|
|
gptkbp:developedBy
|
gptkb:Oxford_University
late 1970s
|
|
gptkbp:developer
|
gptkb:Jean-Raymond_Abrial
|
|
gptkbp:hasApplication
|
gptkb:software
telecommunications
air traffic control
railway signaling
safety-critical systems
|
|
gptkbp:hasConcept
|
abstraction
musical composition
predicate logic
state space
formal verification
modularity
operations
type checking
mathematical rigor
refinement
data invariants
model-based specification
proof obligations
schema calculus
specification reuse
|
|
gptkbp:hasSyntax
|
ASCII notation
LaTeX-based notation
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Z notation
|
|
gptkbp:influenced
|
gptkb:B-Method
gptkb:VDM_(Vienna_Development_Method)
|
|
gptkbp:notation
|
gptkb:mathematical_concept
|
|
gptkbp:publishedIn
|
gptkb:The_Z_Notation:_A_Reference_Manual
gptkb:Using_Z:_Specification,_Refinement,_and_Proof
|
|
gptkbp:standardizedBy
|
gptkb:ISO/IEC_13568:2002
|
|
gptkbp:usedFor
|
specifying computer-based systems
|
|
gptkbp:uses
|
gptkb:CADiZ
gptkb:Z/EVES
gptkb:Z/Eves
gptkb:Fuzz
types
functions
relations
postconditions
preconditions
schemas
invariants
|
|
gptkbp:bfsParent
|
gptkb:Dafny
gptkb:Jonathan_Bowen
|
|
gptkbp:bfsLayer
|
5
|