Auto-Completion Design

From Event-B
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Proposed names depending on edit context

In Context Models

Axioms and Theorems

  • Sets (all)
  • Constants (all)

In Machine Models

Invariants, Theorems and Variants

  • Sets (all)
  • Constants (all)
  • Variables (all)

Guards and Actions

  • Sets (all)
  • Constants (all)
  • Variables (all)
  • Parameters (of concrete event)

Event Labels

  • Seen events labels (of abstract machine)

Witness Labels

  • Disappearing parameters (of abstract event)
  • Primed Disappearing Variables (of abstract machine) that are non-deterministically assigned in abstract event

Witness Predicates

  • Sets (all)
  • Constants (all)
  • Variables (all)
  • Primed Variables (concrete)
  • Parameters (of concrete event)
  • Witness Label
Retrieved from ‘https://wiki.event-b.org/index.php?title=Auto-Completion_Design&oldid=913’