We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Model Checking Intermediate Language (markdown)
various updates
Added discussion on deadlock states + other improments
added example with contracts
moved to transition relation with previous inputs and outputs
updated some invariants in examples
more minor edits
minor
Update initial formal description
Moved to Mealy-machine style
added verify examples
added verification command
Added examples
Updated Intermediate Language Design (markdown)