pragmaticformalmodeling icon indicating copy to clipboard operation
pragmaticformalmodeling copied to clipboard

Published 20 hours ago • verified publisher icon ElliotSwart
→

Metadata

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

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.

← Metadata

42
Stars
2
Forks
Watchers

Owner

verified publisher icon ElliotSwart

Metadata

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

Back