Pragmaticformalmodeling
An instructional website with progressively worked examples of TLA+ specifications and model checking.
Install / Use
/learn @ElliotSwart/PragmaticformalmodelingREADME
Pragmatic Formal Modeling
Getting Started
To test:
bundle install
bundle exec jekyll serve --incremental
To build:
bundle install
bundle exec jekyll build --incremental
Currently, the page is updated manually on Github pages, due to PlantUML dependency.
