Awesome Open Source

Programming Languages

Search results for formal verification

formal-verification x

137 search results found

Verification Tool Overview ⭐ 10

Information about existing verification tools. You can browse the data at https://slebok.github.io/proverb/

Isabelle Lambda Calculus ⭐ 9

A formal definition and verification of System F. To be extended to System Fc

Cryptographic protocol analysis for real-world protocols.

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。

Smartcontracttester ⭐ 9

Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites

Formal analysis for the Electrod formal specification language

Goldcrest Microcode Verification ⭐ 9

Verification of RISC-V microcode based on SUBLEQ

Collection of formally verified building blocks

A model checker for safe Petri nets based on partial-order semantics

🌐 Theorems that rule this multiverse

Proven Zk ⭐ 8

A support library for working with zero knowledge cryptography in Lean 4.

Automatik ⭐ 8

A library of formalized automaton algorithms

Little Cpu ⭐ 8

Little cpu in verilog.

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs).

Ipl Vscode ⭐ 8

Imandra Protocol Language VS Code Plugin

Tpm2 Tss Verified ⭐ 8

A modified version of tpm2-tss that passed memory safety formal verification

Verified Integer Gaussian Elimination ⭐ 8

Idris package defining, implementing, and verifying naiive Gaussian elimination over the integers in some system of linear algebra.

IotSan: Fortifying the Safety of IoT Systems (ACM CoNEXT'18)

A style guide for Coq

Plt Formal Methods Resources ⭐ 7

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

A Correct-by-Construction Blockchain Protocol Implementation

Formal verification engine for Verilog with built-in support for simulating flip-flop metastability

Gnark Lean Demo ⭐ 6

Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.

LDL-based DSL for statechart generation and verification

Aaltitoad ⭐ 6

Extendable verification engine and simulator for Tick Tock Automata constructs

Auto-active verification of floating-point programs.

Provides a packaged collection of open source EDA tools

Pymavswarm ⭐ 5

Python library used to safely control drone swarms and drone fleets with MAVLink

Lazysets Juliacon21 ⭐ 5

LazySets.jl article for the JuliaCon 2021 Conference Proceedings

EMME: ECMAScript Memory Model Evaluator

Formally correct DSLs

Normalizing flows for neuro-symbolic AI

Dynamic analysis of multithreaded C programs

Stamina Storm ⭐ 5

STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.

Z3 Floating Point Proofs ⭐ 5

Automated Proofs about floating-point numbers using Z3 Theorem Prover

Spark Bitcoin Transaction Example ⭐ 5

Example of Bitcoin transaction parsing with Ada/SPARK2014

101-137 of 137 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.