Projects in Awesome Lists tagged with ofmc
A curated list of projects in awesome lists tagged with ofmc .
https://github.com/logicalhacking/isabelle-ofmc
Isabelle/OFMC - Linking OFMC and Isabelle/HOL
isabelle-hol ofmc protocol-security
Last synced: 09 Mar 2026
https://github.com/jakuj/ofmc-parallel
Multicore OFMC implementation
model-checking ofmc protocol-security
Last synced: 17 Aug 2025
