tla-plus

There are 1 repository under tla-plus topic.

• fizzbee-io / fizzbee

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

  alloyalloy-analyzerformal-languagesformal-methodsformal-verificationltlpluscalprismtlatla-plustlaplus
  Language:Python 142

• cmschmtt / tla-plus-resources

  Personal reading list/reference re: TLA+

  temporal-logic-of-actionstla-plus
  85

• ElliotSwart / pragmaticformalmodeling

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

  formal-methodsformal-verificationtla-plustla-specification
  Language:TLA 43

• japgolly / tla2json

  Convert TLA+ output (and values) into JSON

  tlatla-plustlaplustlcjson
  Language:Scala 24

• hop-protocol / tla-spec

  📜 WIP Hop Protocol TLA+ Specification

  hophop-protocolspecificationtlatlaplustla-specificationtla-pluswipwip-do-not-use
  Language:TLA 8

• tlaplus / lecture

  The TLA+ Video Course by Leslie Lamport

  tlaplustla-specificationtlatla-plus
  Language:HTML 8

• miguelmota / tla-cookbook

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

  cookbookexampleslearninglearning-by-doingmodelingtlatla-plustla-specificationtlaplus
  7

• changlinli / peterson-tlaplus

  A TLA+ Specification of Peterson's Algorithm

  tlaplustla-plusconcurrency
  Language:TLA 5

• pool2win / bitcoin-contracts-tlaplus

  Bitcoin layer 2 contracts specifications using TLA+

  bitcoinlightninglightning-networktla-plus
  Language:TLA 5

• 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.

  gitpodtemplatetla-plusformal-verification
  Language:TLA 3

• Nax10823 / pktlab-spec

  The PacketLab Access Control Design TLA+ Specification

  tla-plusmodelchecking
  Language:TLA 1

• 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.

  tla-plusumlnfasmart-hospitalsrfid
  Language:TLA 1

• deep-mishra / CSE-586-Distributed_Systems

  Achieving 'consensus' with n-nodes crash fault in synchronized rounds (implemented in TLA+)

  tla-plusconsensus-algorithm
  Language:TeX 0

• gitcordier / MarkdownToLaTeX

  Markdown to LaTeX

  markdown-parsermarkdown-to-latextla-specificationcommand-line-appcommand-line-interfacelatexlatex-documentmarkdownmarkdown-to-pdftla-plustlaplustlapsxelatex
  Language:Python 0

• ligurio / specs

  Formal specifications

  alloypromelaspintla-plus
  Language:Promela 0

• timewinder-dev / timewinder

  Temporal Logic of Actions in Rust via Starlark

  formal-methodsformal-verificationpythonruststarlarkstarlark-langtlatla-plustlaplus
  Language:Starlark 0

• ausimian / pollen-tlaplus

  Pollen tag functions for TLA⁺

  rackettla-pluspollen
  Language:Racket

• gitcordier / tlaplus

  tlatla-plustla-specificationtlaplusbrunelleschi
  Language:TLA

• suyash-chintawar / 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.

  umlnfarfidtla-plussmart-hospitals
  Language:TLA

• TMVector / tla-playground

  Experimenting with TLA+

  tla-plusplaygroundtlcmodel-checking
  Language:TLA