formal-methods topic
spectacle
Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
main
Code and resources for model learning of network protocol implementations
fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
PANTHER
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,...
maude-bindings
Language bindings for Maude
AttackerSynthesis
🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis
rhoevm
symbolic EVM execution engine written in Rust
fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...