fizzbee-io/fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Language: Python - Size: 537 KB - Last synced: 10 days ago - Pushed: 11 days ago - Stars: 84 - Forks: 4

gitpod-samples/template-tlaplus

The TLA+ template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral formal verification environments in the cloud.

Language: TLA - Size: 82 KB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 3

miguelmota/tla-cookbook 📦

A collection of various TLA+ examples and helper functions for learning.

Size: 8.79 KB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 7 - Forks: 0

ElliotSwart/pragmaticformalmodeling

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

Language: TLA - Size: 6.79 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 41 - Forks: 2

cmschmtt/tla-plus-resources

Personal reading list/reference re: TLA+

Size: 9.77 KB - Last synced: 4 months ago - Pushed: over 6 years ago - Stars: 80 - Forks: 4

pool2win/bitcoin-contracts-tlaplus

Bitcoin layer 2 contracts specifications using TLA+

Language: TLA - Size: 4.98 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 2 - Forks: 1

timewinder-dev/timewinder

Temporal Logic of Actions in Rust via Starlark

Language: Starlark - Size: 397 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

Nax10823/pktlab-spec

The PacketLab Access Control Design TLA+ Specification

Language: TLA - Size: 9.77 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

tlaplus/lecture

The TLA+ Video Course by Leslie Lamport

Language: HTML - Size: 73.2 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 8 - Forks: 2

gitcordier/tlaplus

Language: TLA - Size: 1.44 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

changlinli/peterson-tlaplus

A TLA+ Specification of Peterson's Algorithm

Language: TLA - Size: 27.3 KB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 5 - Forks: 1

gitcordier/MarkdownToLaTeX

Markdown to LaTeX

Language: Python - Size: 609 KB - Last synced: 3 days ago - Pushed: 12 months ago - Stars: 0 - Forks: 1

japgolly/tla2json

Convert TLA+ output (and values) into JSON

Language: Scala - Size: 87.9 KB - Last synced: 11 months ago - Pushed: over 3 years ago - Stars: 21 - Forks: 2

hop-protocol/tla-spec

📜 WIP Hop Protocol TLA+ Specification

Language: TLA - Size: 388 KB - Last synced: over 1 year ago - Pushed: almost 3 years ago - Stars: 8 - Forks: 1

suyash-chintawar/Smart-Hospital-Management-System Fork of spectre900/Smart-Hospital-Management-System

Designing a safety critical smart hospital management system, modelling it using UML/NFA, creating formal specifications using TLA+ and verifying it using TLC Model Checker.

Size: 3.98 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

spectre900/Smart-Hospital-Management-System

Designing a safety critical smart hospital management system, modelling it using UML/NFA, creating formal specifications using TLA+ and verifying it using TLC Model Checker.

Language: TLA - Size: 3.98 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 2

ausimian/pollen-tlaplus

Pollen tag functions for TLA⁺

Language: Racket - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0