[FEATURE] Small end-to-end demo for Matt Wilding

[thatplguy]

Summary

Matt Wilding has requested a very simple end-to-end demo of the VERSE toolchain. Paraphrasing his words, "a very thin slice of the many-layered VERSE cake."

Feature

A demo that shows how a developer (not a verification expert) would create, test, and verify a spec.

Acceptance Criteria

A demo project checked into the CN tutorial repo with a template file (to be filled in live during the demo) along with a completed solution for reference. A small number of slides to explain the user personas and sources of specifications we've discovered so far in HCI.

Do

• demo committed to repo
• demo script outlining the steps to take in the demo
• slides