GitHub topics: formalverification
rappie/fuzz-vs-fv Fork of Certora/fuzz-vs-fv
Solution to Certora's Fuzzing Challenge
Language: TypeScript - Size: 1.22 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 1
ChasingTheDream369/Space-Recog-PDF-Secure
📝📏📄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.
Language: Python - Size: 15.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
kemtls/Tamarin-multi-stage-model
Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
Language: Makefile - Size: 22.9 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 1
nonlin-lin-chaos-order-etc-etal/chains_formal_tools_now_sh_nextjs
Blockchains software incl. smart contracts formal verification tools & IDE frontend
Language: JavaScript - Size: 70.3 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 2
davidebasile/FORTE2020
This is the Uppaal Stratego model published at FORTE2020
Size: 153 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
