V

verification

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

Research that argues with itself: an adversarial refuter attacks every draft, typed claims are verified against their cited sources, and the engine abstains honestly when the evidence is thin.

Collection of Verification Tasks

Vendor-Independent, Fully Verified, Open Source VHDL Common Library

VeriChain is an open-source AI-powered truth verification system that analyzes public information to evaluate claims and produce probabilistic truth scores. It builds structured evidence chains by aggregating, cross-referencing, and graph-linking sources, while providing full transparency through citations, reasoning traces, and uncertainty modeling. Instead of binary fact-checking, VeriChain focuses on explainable, evidence-based likelihood assessments of truth. https://roxanneardary.com/verichain/

Ansible automation for setting up https://verification.f-droid.org

A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector

Bubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).

N PASS Verifier — a verification utility project for validating N PASS-related data and workflows.

Application for verifying CD rips using AccurateRip database.

Read-only mirror of https://github.com/arcctgx/ARver

Verification engine for AI-assisted software changes

Deterministic timer IP core in VHDL for precise time-based event generation, supporting configurable periods and synchronization mechanisms.

CheckSum Verification module for PowerShell

Verification des outils avec un script Bash

A helper for dev-code.ir telegram bot using in projects

Kernel and one rule for code analyzer with CI/CD and tests

A Telegram Robot to see Verification Codes During development on Telegram