1 / 4

Z and Z-Eves

Z and Z-Eves. Adalberto Cajueiro de Farias. Z Notation. Model-Based Language Mathematical Logic First-Order Predicate Calculus Schemas Set theory Generators, operators, power sets. Associated Refinement Calculus Not intended to model Non-functional properties

oleg-grant
Download Presentation

Z and Z-Eves

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Z and Z-Eves Adalberto Cajueiro de Farias

  2. Z Notation • Model-Based Language • Mathematical Logic • First-Order Predicate Calculus • Schemas • Set theory • Generators, operators, power sets. • Associated Refinement Calculus • Not intended to model • Non-functional properties • Timed or concurrent behaviour • Contemplates only one aspect of design

  3. Tool Support • Theorem Proving • Z-Eves • Proof Power • Animation • ZANS • Possum • ZETA • ...

  4. Z-Eves • Theorem prover based on Z • Underlying theory: • Set theory • Z constructions • Schemas, operators, ... • Mathematical toolkit: • Axioms (extensible) • Theorems (extensible) • Logical rules • Inference rules

More Related