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

testing prism ltl property-based-testing testing-tools formal-methods alloy formal-verification formal-languages model-based-testing tla model-based-development pluscal tla-plus tlaplus model-based-systems-engineering alloy-analyzer conformance-testing

• Updated Nov 10, 2026
• Go

Random testing library for C#

testing random quickcheck regression-testing metamorphic-testing performance-testing model-based-testing parallel-testing concurrency-testing causal-profiling stateful-testing specification-testing

• Updated Nov 10, 2026
• C#

A free, open-source Java library for automata learning algorithms

java automata finite-state-machine ttt dfa model-based-testing mealy-machine test-case-generation automata-learning pushdown-automata model-learning lstar model-based-learning rpni active-automata-learning

• Updated Sep 24, 2026
• Java

A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.

junit model-based-testing combinatorial-testing

• Updated May 10, 2025
• Java

Model-based testing tool

rust model-checking model-based-testing tla tlaplus

• Updated Mar 12, 2025
• Python

A model-based testing framework for .NET that validates implementations against behavioral specifications.

test-generation model-based-testing linearizability concurrency-testing conformance-testing

• Updated Nov 9, 2026
• C#

A library for stateful property-based testing

haskell quickcheck testing-tools model-based-testing

• Updated May 4, 2026
• Haskell

Model based testing with Jest, XState and Puppeteer or Playwright made easy

jest hacktoberfest model-based-testing puppeteer xstate playwright

• Updated Dec 2, 2020
• TypeScript

AltWalker is an open source Model-Based Testing framework that supports running tests written in Python3 and .NET/C#.

python testing dotnet test-automation model-based-testing graphwalker altwalker

• Updated Oct 27, 2025
• Python

A core library for Sicope Model, a Model-Based Testing tool for web application.

test-automation testing-tools petrinet model-based-testing coloured-petri-nets single-color-petrinet sicope-model

• Updated Jul 26, 2022
• PHP

Semi-automated modelling and Model-Based Testing for CosmWasm contracts

model-based-testing cosmwasm

• Updated Jun 28, 2024
• Rust

Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using XState. Liked By XState Creator

react vue storybook property-based-testing model-driven-development lucy process-mining model-based-testing model-driven-architecture mbse plantuml-diagrams xstate model-based-systems-engineering vite playwright model-driven-software-engineering

• Updated Feb 20, 2024
• TypeScript

A model-based QuickCheck test of ptrees (Patricia trees)

ocaml quickcheck property-based-testing patricia-tree model-based-testing

• Updated Jul 15, 2019
• OCaml

A SQL database written from scratch in Rust.

rust sql database storage-engine mvcc query-engine btree model-based-testing database-internals lsm-tree write-ahead-log crash-recovery

• Updated Nov 8, 2026
• Rust

Rust library for consuming Apalache ITF traces

rust model-based-testing apalache

• Updated May 28, 2025
• Rust

A web based editor and visualizer for models written using the GraphWalker JSON format.

nodejs javascript emberjs model-based-testing graphwalker altwalker

• Updated Dec 15, 2025
• JavaScript

Falsification of CPS via Automata Learning

testing-tools simulink model-based-testing automata-learning

• Updated Nov 2, 2026
• Java

Property-based testing and metamorphic testing combinator library for Gleam

testing property-based-testing metamorphic-testing model-based-testing pbt gleam shrinking gleam-library

• Updated Nov 10, 2026
• Gleam

Grc is support tool for model based testing. Converts graphml file to scenarios, both manual or automated ( Java, JavaScript, Python, C++, C code generation support )

test test-automation testing-tools testng python27 model-based-testing

• Updated Mar 30, 2019
• Python

Web Application Formal Exploiter.

penetration-testing formal-methods model-based-testing penetration-testing-framework

• Updated Jan 29, 2018
• Python