A monadic library for symbolic evaluation
-
Updated
Jun 12, 2024 - Haskell
A monadic library for symbolic evaluation
Dafny is a verification-aware programming language
Runtime Verification JavaScript Library that supports serialization as JSON.
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
An advanced SAT solver
Verified Software Toolchain
✔️Port of RISCOF to check the NEORV32 for RISC-V ISA compatibility.
Master's Thesis in Computer Science: Verification of the Blocking and Non-Blocking Michael-Scott Queue Algorithms
Symbolic-execution-based verifier for the Viper intermediate verification language.
An easy-to-use cryptography library for JavaScript
Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
A toolkit for enforcing logical specifications on neural networks
Decentralized Solidity contract source code verification service
Packed data structure specifications for multi-language hardware projects.
Find and verify secrets
Automatic verification of LLVM optimizations
Vonage Server SDK for Java. API support for SMS, Messages, Voice, Text-to-Speech, Numbers, Verify (2FA), Video and more.
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."