180 Open source projects that are alternatives of or similar to kani

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Concuerror is a stateless model checking tool for Erlang programs.

SeaHorn Verification Framework

Static checker for Java

TLA+ language support for Visual Studio Code

Software Quality Wiki

Links to tools by subject

TLA+ language support for Visual Studio Code

Read-only mirror of the Klever Git repository

验证码 && 密码 校验View（类似于支付宝、网商银行等密码校验框）

Development of the CafeOBJ interpreter

Cross-platform, generic language, Pact provider verification tool

Verified message-passing programs in Dotty

A multi-formalism, multi-solution model-checker centered on the language GAL

Main repository of the Vigor NF verification project.

Provides email verification on the go.

Compilation and Verification of Data-Centric Languages

Verify code input. You can create a verify code input.

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

The best possible way to verify and validate an email address.

简单的滑动验证码JS插件 图片验证码

Fully customizable UI Component for verification codes written in swift with RxSwift support!

Home of the Move programming language

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

Software for verifying weather forecasts

"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.

generative programming & verification

A formally verified high-level synthesis tool based on CompCert and written in Coq.

PCIe (1.0a to 2.0) Virtual host model for verilog

A symbolic model checker for Dynamic Epistemic Logic.

VHDL-2008 Support Library

WAL enables programmable waveform analysis.

Neural Network Verification Software Tool

VATA Tree Automata Library

Fingerprint is a simple tool that can be used to verify the contents of a directory.

🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)

An NPM package to generate captcha images that can be used in Discord bots or various other projects

Memory consistency modelling using Alloy

Self hosted identity verification layer with GraphQL.

A fast SAT solver

The Git repository for the mCRL2 toolset.

Build trust into your image by creating a blockchain certificate for it

Android view for providing blocks (Edit Texts) to achieve verification process.

Using Nim to interface with SystemVerilog test benches via DPI-C

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

Customisable OTP view and Passcode view

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

Docker container for creating valid local ssl certificates

The PHP SDK for interacting with the Yoti Platform

Fact Extraction and VERification baseline published in NAACL2018

Firebase Spring Boot Rest API Authentication

Ruby interface to IEEE 1364-2005 Verilog VPI

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Fully verified model checker for realtime systems

Suite of tools for retrieving USGS NWIS observations and evaluating National Water Model (NWM) data.

Different TLA+ specifications, mostly for learning purposes

[Deprecated] Typescript-version of the IN3 client.

PHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.

This repo contains the artifact for our SOSP'19 paper on Serval

The Eldarica model checker