Auto-Completion Design: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Nicolas mNo edit summary |
imported>Nicolas |
||
| Line 10: | Line 10: | ||
==== Invariants, Theorems and Variants ==== | ==== Invariants, Theorems and Variants ==== | ||
* Variables ( | * Variables (all) | ||
* Sets (all) | * Sets (all) | ||
* Constants (all) | * Constants (all) | ||
Revision as of 15:43, 4 March 2009
Proposed names depending on edit context
In Context Models
Axioms and Theorems
- Sets (all)
- Constants (all)
In Machine Models
Invariants, Theorems and Variants
- Variables (all)
- Sets (all)
- Constants (all)
Guards and Actions
- Parameters (of local event)
- Variables (all)
- Sets (all)
- Constants (all)
Witness Labels
- Parameters (of abstract event)
- Variables (abstract)
Witness Predicates
- Parameters (of abstract event and local event)
- Variables (all)
- Sets (all)
- Constants (all)
