42 Open source projects that are alternatives of or similar to VERDICT

RayS: A Ray Searching Method for Hard-label Adversarial Attack (KDD2020)

A framework that help to create CTF Attack with Defense competition quickly

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

The Git repository for the mCRL2 toolset.

RuCTFE 2019. Developed with ♥ by HackerDom team

HITB SECCONF EDU CTF 2021. Developed with ❤️ by Hackerdom team and HITB.

Reads a state transition system and performs property checking

Verified message-passing programs in Dotty

A symbolic model checker for Dynamic Epistemic Logic.

Memory consistency modelling using Alloy

Different TLA+ specifications, mostly for learning purposes

Workshop Materials from DEFCON 25 (7/27/2017)

FAUST Gameserver for attack-defense CTFs

Read-only mirror of the Klever Git repository

网络安全 · 攻防对抗 · 蓝队清单，中文版

Implementation of the KDD 2020 paper "Graph Structure Learning for Robust Graph Neural Networks"

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Experimental Smart Contracts In Plutus.

APALACHE: symbolic model checker for TLA+

Software Quality Wiki

DataGene - Identify How Similar TS Datasets Are to One Another (by @firmai)

TLA+ language support for Visual Studio Code

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

Jupyter kernel for TLA⁺

CoreIR Symbolic Analyzer

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

IMITATOR

model-describer : Making machine learning interpretable to humans

Local Interpretable Model-Agnostic Explanations (R port of original Python package)

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

Concuerror is a stateless model checking tool for Erlang programs.

Links to tools by subject

SeaHorn Verification Framework

The P programming language.

TLA+ language support for Visual Studio Code

Static checker for Java

Intrepyd Model Checker

Kani Rust Verifier

Pure-python distributable Attack-Defence CTF platform, created to be easily set up.

PHDays Online CTF 2017. Developed with ♥ by Hackerdom team