40 Open source projects that are alternatives of or similar to tlacli

TLA+ language support for Visual Studio Code

Specifying and Verifying CRDT Protocols using TLA+

Convert TLA+ output (and values) into JSON

Different TLA+ specifications, mostly for learning purposes

Read-only mirror of the Klever Git repository

A core language for rule-based hardware design 🦑

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

A static web application to explore and animate a TLA+ state graph.

TLA+ tools for Emacs

A modular sat/smt solver with proof output.

Experimental Smart Contracts In Plutus.

Verification framework and tool for higher-order Scala programs

ACL2 System and Books as Maintained by the Community

Software Quality Wiki

TLA+ language support for Visual Studio Code

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

HACL*, a formally verified cryptographic library written in F*

High-assurance implementation of the Ouroboros protocol family

A Coq-based synthesis of Scala programs which are correct-by-construction

CoreIR Symbolic Analyzer

Lean mathematical components library

Meaningful control of data in distributed systems.

the champagne of beta embedded databases

A gently curated list of companies using verification formal methods in industry

Links to tools by subject

Z-EVES for linux. Probably the only place you can find it

The Verifiably Safe Reinforcement Learning Framework

Intrepyd Model Checker

Frama-C and WP tutorial

The Overture Tool

Jupyter notebooks for tutorial on the Z3 SMT solver

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Formal semantics of LLVM IR in K

Automated Schedule Generation for Time-Sensitive Networks (TSN).

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

A tool for Model Based Testing

www.imandra.ai

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

A tree-sitter grammar for TLA+

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus