verus
forked from verus-lang/verus
Star 0
Fork 0
Watch
verus source docs state_machines src tutorial-by-example.md
204 B · 3 lines
Markdown
at master

Tutorial by example #

In this section, we will walk through a series of increasingly complex examples to illustrate how to use Verus's tokenized_state_machine! framework to verify concurrent programs.