From 49054ca8ced95abbfe9ade5c4c8c293f945d353b Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 3 Aug 2018 17:51:53 +0200 Subject: [PATCH] Cleanup of Markdown. --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index c4070fc..e9f6966 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,5 @@ # 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 comprise a small Isabelle @@ -8,12 +9,15 @@ fixed-point module, anb2thy generate a Isabelle theory (for file for protocols that haven been successfully validated by OFMC. ## Team + * [Achim D. Brucker](http://www.brucker.ch/) ## License + This project is licensed under a 2-clause BSD-style license. ## Publications + * Achim D. Brucker and Sebastian A. Mödersheim. [Integrating Automated and Interactive Protocol Verification](https://www.brucker.ch/bibliography/download/2009/brucker.ea-integrating-2009.pdf). In Workshop on Formal Aspects in Security and Trust (FAST 2009). Lecture