ProtocolSecurity
/
isabelle-ofmc
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
This repository has been archived on 2021-01-01. You can view files and clone it, but cannot push or open issues or pull requests.
isabelle-ofmc/README.md

498 B
Raw Blame History 

  Isabelle/OFMC - Linking OFMC and Isabelle/HOL
  =============================================

This is a developer release for Isabelle/OFMC, i.e., while it may be of interested to experts, it is not yet useable by the general public. This development version comprises a small set of Isabelle theories and a prototypical tool, called anb2thy. Using OFMC's fixed-point module, anb2thy generates Isabelle theory files for protocols that haven been successfully validated by OFMC.