Auto-Completion Design

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)

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