Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/ElliotSwart/pragmaticformalmodeling

An instructional website with progressively worked examples of TLA+ specifications and model checking.
https://github.com/ElliotSwart/pragmaticformalmodeling

formal-methods formal-verification tla-plus tla-specification

Last synced: 25 days ago
JSON representation

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

Awesome Lists containing this project