Auto-Completion Design
From Event-B
Revision as of 14:59, 3 March 2009 by imported>Nicolas (New page: == Proposed names depending on edit context == === In Context Models === ==== Axioms and Theorems ==== * Visible Sets * Visible Constants === In Machine Models === ==== Invariants, The...)
Contents
Proposed names depending on edit context
In Context Models
Axioms and Theorems
- Visible Sets
- Visible Constants
In Machine Models
Invariants, Theorems and Variants
- Visible Variables
- Visible Sets
- Visible Constants
Guards, Witnesses and Actions
- Visible Parameters
- Visible Variables
- Visible Sets
- Visible Constants
Witness Label
- Astract Variables
- Abstract Parameters