ccamacho/phd

Ph.D dissertation website

Language: HTML - Size: 38.2 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

FedericoPonzi/tlaplus-wiki 📦

Moved to dokuwiki: https://docs.tlapl.us

Language: CSS - Size: 852 KB - Last synced at: about 2 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

tobias-rothmann/Polynomial-Commitment-Schemes

Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.

Language: Isabelle - Size: 4.16 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 10 - Forks: 0

andreamanini98/TABEC

Tool for creating Timed Automata and checking their language emptiness.

Language: C++ - Size: 6.05 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

pitmonticone/LeanInVienna2024

Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.

Language: Lean - Size: 1.58 MB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 9 - Forks: 2

AkshayanMohandas/Old-Asteroids-Arcade-Game

B specification for a simplified version of the classic Spaceship & Asteroids arcade game, utilizing the B tools Atelier B and ProB.

Size: 257 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

imandra-ai/fix-engine

Imandra FIX Engine

Language: OCaml - Size: 7.86 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 52 - Forks: 3

MatiasBrizzio/AuRUS

AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

Language: Java - Size: 156 MB - Last synced at: 30 days ago - Pushed at: 12 months ago - Stars: 4 - Forks: 1

pkoerner/eventb2b

Uses lisb to transform an Event-B machine to a B machine. Very experimental.

Language: Clojure - Size: 8.79 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

lou1306/homebrew-formal Fork of mht208/homebrew-formal

Homebrew formulae for formal methods

Language: Ruby - Size: 259 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

hengxin/tlaps-examples

Examples for TLAPS (TLA+ Proof System)

Language: TeX - Size: 4.76 MB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 13 - Forks: 6

gapilo14/celestia-blockchain-optimization

Formal analysis and optimization of Celestia Blockchain using PEPA algebra.

Language: Python - Size: 18.3 MB - Last synced at: 22 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Koukyosyumei/rhoevm

symbolic EVM execution engine written in Rust

Language: Rust - Size: 1.73 MB - Last synced at: 7 days ago - Pushed at: 8 months ago - Stars: 3 - Forks: 1

hriener/metaSMT-toolbox-smt2eval

metaSMT-Based SMT-LIB2 Consistency Checker

Language: C++ - Size: 10.7 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 1

lou1306/pyxmv

(Unofficial) Python interface to nuXmv

Language: Python - Size: 121 KB - Last synced at: 11 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

SatyendraBanjare/plt-formal-methods-resources

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.

Size: 3.24 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 55 - Forks: 1

grayswandyr/electrod

Formal analysis for the Electrod formal specification language

Language: OCaml - Size: 2.51 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 13 - Forks: 4

dantasl/ruler-of-the-seas-game

Ruler of the Seas is a simulation of a competitive multiplayer table top game. This repository contains the Abstract Machines, Refinements and Implementation of the game.

Language: C - Size: 85 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

veyselusta/programming-language-research

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

Size: 38.1 KB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 169 - Forks: 6

Kiguli/IMPaCT

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).

Language: C++ - Size: 21.9 MB - Last synced at: 29 days ago - Pushed at: 5 months ago - Stars: 11 - Forks: 0

MatiasBrizzio/EstiMate

EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.

Language: Java - Size: 99.5 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 0

formalmethods/intrepid

Intrepyd Model Checker

Language: Python - Size: 147 MB - Last synced at: 24 days ago - Pushed at: over 3 years ago - Stars: 18 - Forks: 1

ElliotSwart/pragmaticformalmodeling

An instructional website with progressively worked examples of TLA+ specifications and model checking.

Language: TLA - Size: 6.79 MB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 44 - Forks: 2

will62794/snapshot-isolation-spec

A formal specification of snapshot isolation.

Language: TLA - Size: 78.1 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 18 - Forks: 2

y-taka-23/ddsv-go

A toy deadlock detector written in Go. 🔍

Language: Go - Size: 428 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 30 - Forks: 2

lmarzen/libmltl

A high-performance library for Mission-time Linear Temporal Logic (MLTL) parsing, Abstract Syntax Tree (AST) manipulation, and formula evaluation. Supports C++ and Python interfaces.

Language: C++ - Size: 783 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

unitb/temporal-logic

Language: Lean - Size: 254 KB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 3

PROGNOSISTool/main

Code and resources for model learning of network protocol implementations

Language: Shell - Size: 59.3 MB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 3

mtoohey31/go-evercrypt

A Go wrapper for EverCrypt.

Language: Go - Size: 38.1 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

fm4se/exercises

All the exersice from Formal Methods for Software Engineering course @ Bauhaus University Weimar

Size: 14.6 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

fluentverification/stamina-storm

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

Language: C++ - Size: 2.1 MB - Last synced at: 5 months ago - Pushed at: 7 months ago - Stars: 5 - Forks: 2

functionally/ouroboros-lean4

Ouroboros protocols in Lean4

Language: Lean - Size: 51.8 KB - Last synced at: 2 days ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

johnyf/tlapy

Python utilities for working with TLA+ specifications

Language: Python - Size: 13.7 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

IBM/vsrl-framework 📦

The Verifiably Safe Reinforcement Learning Framework

Language: Python - Size: 1.92 MB - Last synced at: 4 days ago - Pushed at: almost 4 years ago - Stars: 56 - Forks: 12

acorrenson/Ministrel

A toy implementation of a synchronous programming language inspired by Esterel

Language: OCaml - Size: 16.6 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

binghe/ANU-Public

Public files developed during my PhD and postdoc study

Language: Batchfile - Size: 268 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

imandra-ai/ipl-vscode

Imandra Protocol Language VS Code Plugin

Size: 922 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 8 - Forks: 1

pitmonticone/FLT Fork of ImperialCollegeLondon/FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Language: Lean - Size: 30.1 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 1

zhang-zengjie/modustl

Splitting signal temporal logic specifications in time

Language: Python - Size: 132 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

zhang-zengjie/pce-intent-aware-control

Intention-Aware Control Using Stochastic Expansion Methods

Language: Python - Size: 2.97 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

zhang-zengjie/ram-ruts

Model Predictive Control for a stochastic linear system with runtime Signal Temporal Logic specifications

Language: Python - Size: 1.28 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

spidermoy/Model_Checking-LTL-CTLS

Computer Scientist Master Degree - Thesis Work

Language: Haskell - Size: 2.23 MB - Last synced at: 8 months ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0

rasheedja/PropaFP

Auto-active verification of floating-point programs.

Language: Haskell - Size: 1.54 MB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0

krichelj/ALIO_BGU_2020

Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020

Size: 611 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

starktyping/starktyping

banner

Size: 6.31 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

imandra-ai/ipl-examples

Imandra Protocol Language example models

Size: 117 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 11 - Forks: 1

imandra-ai/imandra-stdlib

Standard library for [Imandra](https://imandra.ai)

Language: Makefile - Size: 64.5 KB - Last synced at: 3 days ago - Pushed at: 9 months ago - Stars: 5 - Forks: 0

florianschanda/PyVCG

Verification Condition Generator

Language: Python - Size: 94.7 KB - Last synced at: 12 days ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

jazzplato/kisho-demo 📦

An experiment and a demo for metabolic homeostasis self-adaptation systems

Language: Python - Size: 2.82 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

rhaidiz/wafex-model-creator

WAFEx Model Creator.

Language: Python - Size: 1.1 MB - Last synced at: 25 days ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 2

re-models/re-technical-report

Technical report for the RE project.

Language: Jupyter Notebook - Size: 75.5 MB - Last synced at: 12 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

r1ru/model-checker-from-scratch

Let's build a symbolic model checker from scratch in Rust !

Language: Rust - Size: 53.7 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

ncatanoc/cyber_resilience_python

The goal of this project is to bring most of Event-B and refinement calculus into Python

Language: Jupyter Notebook - Size: 392 KB - Last synced at: 9 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

philzook58/nand2coq

Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).

Language: Coq - Size: 823 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 54 - Forks: 3

dslab-uniud/ppSTL-IJCAI2024

Repository containing Appendix and Code for the paper "Learning what to Monitor: using Machine Learning to Improve Past STL Monitoring" published at IJCAI 2024.

Language: Python - Size: 2.87 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

bishwamittra/nus_thesis

My PhD thesis in NUS. Making it public so that future graduate students may benefit.

Language: TeX - Size: 63.5 MB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

dambrosidenis/Formal-Verification-of-the-Session-Protocol

This repository contains the resources and files related to the formal verification of the Session protocol using the Tamarin prover. The work focuses on verifying the security properties of the Session protocol in the symbolic model, encompassing peer-to-peer message delivery and onion routing.

Language: Python - Size: 1.42 MB - Last synced at: 27 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

septract/starling-tool

An automatic verifier for concurrent algorithms.

Language: F# - Size: 2.29 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 4

tofgarion/spark-by-example

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Language: Ada - Size: 1.03 MB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 150 - Forks: 16

ComFreek/mmteditor

Language: JavaScript - Size: 40 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

arandilopez/z-eves

Z-EVES for linux. Probably the only place you can find it

Language: Python - Size: 18.1 MB - Last synced at: 15 days ago - Pushed at: about 4 years ago - Stars: 24 - Forks: 10

KS1019/uclid

Docker Container to run UCLID5

Language: Python - Size: 31.4 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

DevDynamoo/GCLMOD

A tool for running and analyzing programs written in a variant of the Guarded Command Language

Language: F# - Size: 5.51 MB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

josedusol/fc-lh

Fundamentos de la Computación in Liquid Haskell

Language: Haskell - Size: 49.8 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

pitmonticone/carleson Fork of fpvandoorn/carleson

[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.

Language: TeX - Size: 1.31 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

iwilare/formal-methods

Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language

Language: Agda - Size: 32.2 KB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 1

raydog99/PlusCal

TLA+ verification of distributed systems

Language: TLA - Size: 13.7 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

miyamok/smartcontract-verification

Formal verification tool for Solidity

Language: Haskell - Size: 289 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

c-cube/smbc

Experimental model finder/SMT solver for functional programming.

Language: OCaml - Size: 1.07 MB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 23 - Forks: 0

salarkalan/FormalMethods-SAT

Interactive Teaching Application on SAT solvers in Formal Methods

Language: Python - Size: 47.9 KB - Last synced at: 11 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

yannbolliger/rust-stainless-thesis-report

MSc project on «Formal Verification of Rust with Stainless».

Language: TeX - Size: 3.9 MB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

hriener/parsyn-cegis

SMT-Based CPS Parameter Synthesis and Repair

Language: Python - Size: 7.53 MB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

TorXakis/TorXakis

A tool for Model Based Testing

Language: Haskell - Size: 9.17 MB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 47 - Forks: 13

pitmonticone/FLT3 Fork of riccardobrasca/flt3

A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.

Language: TeX - Size: 550 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1

c-cube/mc2

[research] A modular SMT solver in OCaml, based on mcSAT

Language: SMT - Size: 9.08 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 39 - Forks: 5

daniloaleixo/sudoku_solver_with_SAT

Projeto realizado para matéria de Métodos Formais - O programa deve receber um arquivo de entrada que represente a situação inicial de um jogo de sudoku e, à partir dele, gerar uma fórmula lógica para servir de entrada ao programa "zchaff", resolvedor SAT

Language: C - Size: 204 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

jungs1/solidity-static-code-analyzer

exploring the basics of static code analysis for fun

Language: Python - Size: 1.48 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

dgpv/spark-bitcoin-transaction-example

Example of Bitcoin transaction parsing with Ada/SPARK2014

Language: Ada - Size: 59.6 KB - Last synced at: 9 months ago - Pushed at: about 5 years ago - Stars: 7 - Forks: 5

lojikil/return-100-acre-woods

The slides from my "Reflecting on what I've learnt in 3 years..." Cactus Con talk

Size: 8.37 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

axelitama/Formal-Methods-Project-2023

Final project of the course Formal Methods for Concurrent and Real-Time Systems at Politecnico di Milano

Language: XML - Size: 934 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

yepengding/Seniz

Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).

Language: Java - Size: 897 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

yepengding/Kiwami

A generic bounded model checker.

Language: Java - Size: 90.8 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

Amrita-TIFAC-Cyber-Blockchain/K-Framework

K-Framework for Blockchain Technology

Size: 50.8 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

dtumad/lean-crypto-formalization

Library for formalizing cryptography proofs in Lean 3 (Deprecated)

Language: Lean - Size: 2.13 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 0

hst/hst-cpp

An open-source refinement checker for CSP

Language: C++ - Size: 195 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

hst/hst-c

An open-source refinement checker for CSP

Language: C - Size: 1.36 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0

mattyonweb/pynuxmv

transpiler from (a subset of) python to nuXmv

Language: Python - Size: 63.5 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

fgirbal/cbc_adas

Repository for the MSc project "To Err is Human: Designing Correct-by-Construction Driver Assistance Systems using Cognitive Modelling".

Language: Perl 6 - Size: 173 MB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 5

vedadux/nanoqbf

A minimal implementation of an expansion-based QBF solver which does not use recursion.

Language: C++ - Size: 228 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

VincenzoArceri/rust-lisa

Rust frontend for LiSA

Language: Java - Size: 20.6 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 8 - Forks: 0

v-research/cybersecurity

Research and Development for Cybersecurity Engineering. Our mission is to develop a scientific theory of cybersecurity and a toolchain for the secure engineering of cyber-physical systems.

Language: TeX - Size: 71.7 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0

fraunhoferfokus/acsl-by-example

Public snapshots of "ACSL by Example"

Language: TeX - Size: 20.8 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 94 - Forks: 19

appliedfm/coq-vsu-int63

Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq

Language: Coq - Size: 146 KB - Last synced at: 27 days ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

mgrabovsky/fm-notes

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

Language: Coq - Size: 218 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 20 - Forks: 2

JBakouny/Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

Language: Scala - Size: 17.6 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 79 - Forks: 7

input-output-hk/ouroboros-high-assurance

High-assurance implementation of the Ouroboros protocol family

Language: Isabelle - Size: 5.2 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

TechnionFV/CaDiCaL-DRUPing-for-Interpolants-Project-Version-Base Fork of arminbiere/cadical

This repository provides an extension to the CaDiCaL SAT solver that implements the "DRUPing for Interpolants" algorithm.

Size: 2.44 MB - Last synced at: 10 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

dfirsov/yul_to_easycrypt

Yul to EasyCrypt transpiler

Language: eC - Size: 137 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

FormalMathematicsLab/UniRome_Workshop_Lean_2024 Fork of fpvandoorn/LeanInRome

Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.

Size: 2.6 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

johnsonstephan/awesome-web3-formal-verification

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

Size: 63.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0