729 Open source projects that are alternatives of or similar to klever

TLA+ language support for Visual Studio Code

TLA+ language support for Visual Studio Code

Links to tools by subject

Software Quality Wiki

SeaHorn Verification Framework

Frama-C and WP tutorial

Intrepyd Model Checker

Static checker for Java

Experimental Smart Contracts In Plutus.

Kani Rust Verifier

www.imandra.ai

Development of the CafeOBJ interpreter

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Example implementation of Arm's Architecture Specification Language (ASL)

Awesome ASIC design verification

Concuerror is a stateless model checking tool for Erlang programs.

The Verifiably Safe Reinforcement Learning Framework

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Verification framework and tool for higher-order Scala programs

Reads a state transition system and performs property checking

CoreIR Symbolic Analyzer

Information to reproduce results from SV-COMP (MOVED, please follow the link)

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

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

HACL*, a formally verified cryptographic library written in F*

Temporal Logic Planning toolbox

Static Analyzer for LLVM bitcode based on Abstract Interpretation

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

A modular sat/smt solver with proof output.

Learn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

A health checkup for your project.

Efficient and Precise Pointer-Tracking Data-Flow Framework

Extensions for PHPStan

Active Directory strategy for passport.js

A set of opinionated and useful lint checks

Alibaba Front-end Coding Guidelines and Relevant Tools

Type-safe Lua IDE Plugin for IntelliJ IDEA

[READ-ONLY] PHP_CodeSniffer sniff that checks class name matches PSR-4 project structure.

SDA is a rich cross-platform tool for reverse engineering that focused firstly on analysis of computer games. I'm trying to create a mix of the Ghidra, Cheat Engine and x64dbg. My tool will combine static and dynamic analysis of programs. Now SDA is being developed.

📄 MARCspec - A common MARC record path language

A customisable verification code view to capture OTPs

A technology agnostic specification and test framework that yields better coverage for less testing effort.

A Speculation-Aware Collaborative Dependence Analysis Framework

The Missing Donation Specification for Open Source Software

No description or website provided.

Static analysis of IEC 61131-3 programs

Duplicate code finder for Elixir

Automated static analysis & linting bot for Mozilla repositories

Specification design pattern for JavaScript and TypeScript with bonus classes

🦩 Tools for Go projects

A linter to prevent exception handling antipatterns in Python (limited only for those who like dinosaurs).

Static and dynamic Android application security analysis

Algebraic proof discovery in Agda

A specification for functional UI components

iOS Framework for reading and validation of identification documents

Specification of the IR for Flyte workflows and tasks. Also Interfaces for all backend services. https://docs.flyte.org/projects/flyteidl/en/stable/

Anti-DDoS-Lite (Anti-Crawler app) is a small PHP app to protect your site against DDoS attack.

Sturdy is a library for developing sound static analyses in Haskell.