include select TLA+ examples in model checking chapter

lucformalmethodscourse / lucformalmethodscourse.github.io

Lecture notes for the COMP 335/435: Formal Methods in Software Engineering course at Loyola University Chicago with a focus on advanced testing and model checking using TLA+.

https://lucformalmethodscourse.github.io/

MIT License

0 stars 0 forks source link

include select TLA+ examples in model checking chapter #4

Open klaeufer opened 10 months ago

klaeufer commented 10 months ago

https://www.sphinx-doc.org/en/master/usage/restructuredtext/basics.html
https://sublime-and-sphinx-guide.readthedocs.io/en/latest/code_blocks.html