Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
-
Updated
Apr 19, 2023 - Makefile
#
formalverification
Here are 8 public repositories matching this topic...
Solution to Certora's Fuzzing Challenge
-
Updated
Aug 15, 2024 - TypeScript
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
This is the Uppaal Stratego model published at FORTE2020
-
Updated
Dec 12, 2020
📝📏📄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
May 9, 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
Entertaining practice with Rust & Creusot by reimagining v1 of tpuf. Why? Because I believe in doing things the right way.
-
Updated
May 22, 2026 - Rust
Improve this page
Add a description, image, and links to the formalverification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formalverification topic, visit your repo's landing page and select "manage topics."