Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
-
Updated
Apr 19, 2023 - Makefile
#
formalverification
Here are 9 public repositories matching this topic...
Blockchains software incl. smart contracts formal verification tools & IDE frontend
opensource frontend blockchain formal-verification blockchains formalverification softwareformalverification software-formal-verification
-
Updated
Feb 15, 2022 - JavaScript
Solution to Certora's Fuzzing Challenge
-
Updated
Aug 15, 2024 - TypeScript
A Formal Verification frontend for Z3 Solver written in Go
verification rtl systemverilog formal-verification formal systemverilog-hdl rtl-design formalverification systemverilog-test-bench systemverilog-assertions
-
Updated
Sep 20, 2026 - Go
This is the Uppaal Stratego model published at FORTE2020
-
Updated
Dec 12, 2020
🔍👾Bug Hunter, High-Assurance Formal Verification, Symbolic Consensus & Resilient Concurrency Engine for Python
python opensource programming bug-tracker bug python3 coding z3 appsec smt staticanalysis bug-reporting z3-smt-solver softwareengineering codequality pythondev bughunter formalverification devcommunity coding-agent
-
Updated
Sep 16, 2026 - Python
📝📏📄Space-Recog-PDF-Secure ✨🐍 is a Python script designed to format text 📝 into paragraphs with precise width-based 📏 justification. This tool takes input text 📄 and aligns it within specified column widths, optimizing the distribution of white spaces ⚖️ between words to achieve balanced right-margin 🧮 justification.
python unit-testing dafny dynamicprogramming formalverification post-condition space-recognition latex-space-management pre-condition space-fitting-algorithm optimal-number-of-spaces
-
Updated
Sep 1, 2023 - Python
Smart contract auditor & blockchain security researcher | Solidity, Rust, Move, Cairo, Golang | DeFi, Cross-chain, Blockchain security audits
security ethereum smart-contracts blockchain audit web3 vulnerability-assessment defi securityaudit formalverification securityresearch
-
Updated
Jul 12, 2026
OBIX: Where Data Meets UI/UX
reactcomponents automatedtesting formalverification datapipelines datadrivenui doaarchitecture uixtransformation typescriptlib datafirstdesign uiadaptation heartframework obixcore stateminimization tdddevelopment componentequivalence reactstandard uioptimization mitlicensed okpalaresearch costgovernance
-
Updated
Jul 18, 2025 - TypeScript
Add this topic to your repo
To associate your repository with the formalverification topic, visit your repo's landing page and select "manage topics."