A tool to enforce Swift style and conventions.

Simplified executable deployment

A small, python-based library for creating map images with lines, markers and polygons.

Generate personal heatmap from GPX/TCX/FIT/IGC data

A type-checker for Erlang

The Erlang Language Server

A static analyzer for Java, C, C++, and Objective-C

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

KLEE Symbolic Execution Engine

Verification tests for solidity semantics

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

This has been moved to https://github.com/ethereum/remix-project

⚠️ The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.

Visual Studio Code language support extension for Solidity smart contracts in Ethereum https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity

Include nice-looking Solidity examples into LaTeX files

🐍 SonarQube Python plugin

The Ultimate program analysis framework.

Dafny is a verification-aware programming language

An LLVM-based formal verification frontend for C programs.

Solidity, the Smart Contract Programming Language

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

Overview of the formal verification projects in the Ethereum ecosystem.

This is solc-verify, a modular verifier for Solidity.

OpenZeppelin Contracts is a library for secure smart contract development.

A book covering the fundamentals of data visualization

A gently curated list of companies using verification formal methods in industry

SRI Sally: A model checker for infinite-state systems.