900
FP-Graz - Functional Programming Graz: Proofs in Isabelle/HOL
ICAL
2017-02-02 Thu 19:00 -22:00
where
Brockmanngasse 15, Graz, 8010, Austria
urls
  • Isabelle/HOL
    http://isabelle.in.tum.de/
  • meetup
    https://www.meetup.com/Functional-Programming-Graz/
Description

Diese Woche wird es eine kurze Präsentation über Isabelle/HOL geben. Ich werde zeigen wie man mit dem Theorembeweiser Isabelle/HOL die Korrektheit funktionaler Programme beweisen kann.

Es ist jeder herzlich eingeladen, der sich für funktionale Programmierung oder formale Verifikation interessiert, oder einfach so zuhören will.

Comments

There are so far no comments about this event.

Log in to add a comment.