210 Open source projects that are alternatives of or similar to sv-comp

Collection of Verification Tasks

Read-only mirror of the Klever Git repository

Java-based artificial intelligence that plays Tablut using Ashton's rules

Infinity is a simple online puzzle hunt/jeopardy-style CTF platform.

WAL enables programmable waveform analysis.

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

The Eldarica model checker

Contains solutions and codes to various online competitive programming challenges and some good problems. The links to the problem sets are specified at the beginning of each code.

VHDL-2008 Support Library

🔑 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

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

Rules for Kiwi.com travelling salesman competition

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

The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.

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

Verified, concurrent, crash-safe transaction system

ACM MULTIMEDIA 2021 Grand Challenge

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

Software for the Tablut Students Competition

VATA Tree Automata Library

Neural Network Verification Software Tool

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

Self hosted identity verification layer with GraphQL.

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

“合肥高新杯”心电人机智能大赛 —— 心电异常事件预测 TOP1 Solution

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

Home of the Move programming language

Hajime - Competition software management for Fencing Martial Arts

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

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

The PHP SDK for interacting with the Yoti Platform

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Fully verified model checker for realtime systems

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

[Deprecated] Typescript-version of the IN3 client.

An advanced automatic speedrun load time remover for community verifiers.

天池“资金流入流出预测——挑战baseline”的解决方案，线上效果143.5

Ruby interface to IEEE 1364-2005 Verilog VPI

SyReNN: Symbolic Representations for Neural Networks

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

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

My solution to Kaggle Quora Question Pairs competition (Top 2%, Private LB log loss 0.13497).

Main repository of the Vigor NF verification project.

Repositório de hackathons do Training Center

Cross-platform, generic language, Pact provider verification tool

Provides email verification on the go.

Compilation and Verification of Data-Centric Languages

Development of the CafeOBJ interpreter

A fast SAT solver

Solutions and write-ups from security-based competitions also known as Capture The Flag competition

Open solution to the Cdiscount’s Image Classification Challenge

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

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

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

Software for verifying weather forecasts

This is an open source platform for competitions of computer security.

Kani Rust Verifier

A Framework for Deep Neural Network Verification

The Java SDK for interacting with the Yoti Platform