scores — Peer-reviewed • Rank 16.4 • Science 98%

scores: A Python package for verifying and evaluating models and predictions with xarray - Published in JOSS (2024)

easyvvuq • Rank 14.0 • Science 85%

Python 3 framework to facilitate verification, validation and uncertainty quantification (VVUQ) for a wide variety of simulations.

mnt.pyfiction • Rank 13.7 • Science 85%

An open-source design automation framework for Field-coupled Nanotechnologies

xskillscore • Rank 17.2 • Science 77%

Metrics for verifying forecasts

reachabilityanalysis.jl • Rank 8.6 • Science 77%

Computing reachable states of dynamical systems in Julia

science.aist.gtf • Rank 6.6 • Science 77%

Graph Transformation Framework

tulip • Rank 12.9 • Science 67%

Temporal Logic Planning toolbox

vehicle-lang • Rank 15.1 • Science 64%

A toolkit for enforcing logical specifications on neural networks

dnnv • Rank 11.9 • Science 64%

A Framework for Deep Neural Network Verification

qcec • Rank 7.0 • Science 67%

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

gnverifier • Rank 5.1 • Science 67%

GNverifier verifies scientific names against more than 100 biodiversity databases

monet • Rank 8.2 • Science 62%

The Model and ObservatioN Evaluation Toolkit (MONET)

constrain • Rank 5.8 • Science 62%

Control Strainer (ConStrain) is a data-driven knowledge-integrated framework that automatically verifies that building system controls function as intended.

cocotb • Rank 24.8 • Science 36%

cocotb: Python-based chip (RTL) verification

hydrotools • Rank 6.2 • Science 54%

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

https://github.com/dafny-lang/dafny • Rank 24.0 • Science 36%

Dafny is a verification-aware programming language

dnnf • Rank 3.7 • Science 54%

Deep Neural Network Falsification

https://github.com/bark-simulator/bark • Rank 15.4 • Science 33%

Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithms for Autonomous Driving

livvkit • Rank 12.1 • Science 36%

Land Ice Verification & Validation Toolkit

verif • Rank 11.7 • Science 36%

Graphical tool for creating verification plots of weather forecasts

netwiz • Rank 2.4 • Science 44%

Network protocol libraries for VHDL test benches

sixarm_ssh_scripts • Rank 1.1 • Science 44%

SixArm.com » SSH » Scripts for secure shell keys, hosts, fingerprints, etc.

hagelslag • Rank 13.0 • Science 23%

Hagelslag supports segmentation and tracking of weather fields and scalable verification, including performance diagrams and reliability diagrams.

csaf-controls • Rank 7.4 • Science 26%

Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dynamics.

featherweight_ocl • Rank 1.4 • Science 31%

Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).

caliver • Rank 4.4 • Science 23%

caliver: CALIbration and VERification of gridded fire danger models

https://github.com/chandra-marx/marx-test • Rank 3.2 • Science 10%

Code to run tests for marx. Results are included in the normal marx docs

vercors • Science 26%

The VerCors verification toolset for verifying parallel and concurrent software

bib • Science 54%

A Quantum Programming Languages and Verification Literature Bibliography

stateful_protocol_composition_and_typing • Science 26%

caveat • Science 44%

Framework for Context-Aware Verification, Emulation, and Training

lizard • Science 52%

Lizard is the visual verification debugger for Viper IDE

automated_stateful_protocol_verification • Science 31%

Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).

https://github.com/binsec/rel • Science 26%

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

https://github.com/besser-pearl/b-ocl-interpreter • Science 13%

B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that utilises a parser and listener generated via an ANTLR4 grammar.

viper-ide • Science 52%

This is the main repository for the Viper IDE extension for VS Code.

ruvpy • Science 67%

Reference implementation of the Relative Utility Value metric for forecast value assessment

https://github.com/camfort/camfort • Science 23%

Light-weight verification and transformation tools for Fortran

butterfly • Science 26%

Verification of continually updating timeseries data where we expect new values, but want to ensure previous data remains unchanged. Maintained by @thomaszwagerman

reproscreener • Science 44%