/pragmaticformalmodeling

An instructional website with progressively worked examples of TLA+ specifications and model checking.

Primary LanguageTLAMIT LicenseMIT

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.