Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by ElliotSwart

A curated list of projects in awesome lists by ElliotSwart .

https://github.com/ElliotSwart/pragmaticformalmodeling

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

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

Last synced: 30 Nov 2024