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