[Club2] Talk by Thomas Tuerk this Wednesday at 2 PM, in Turing
Andrei Popescu
uuomul at yahoo.com
Mon Feb 27 11:03:33 CET 2012
Dear All,
This week, Thomas will give a talk on his finite automata library.
Best regards, Andrei
Thomas TuerkA Formalisation of Finite Automata in Isabelle/HOL====================================================Wed. Feb. 29, 14:00, MI 00.09.055 ("Alan Turing")
As part of the CAVA project (http://cava.in.tum.de), I developed alibrary for finite automata in Isabelle/HOL. This library provideshigh-level, abstract definitions as well as low-level, executable ones.The first part of this talk will give an overview of this library.Then, a Presburger Arithmetic-case study will be used to demonstrate,how the library can be used. Finally, the implementation of Hopcroft'salgorithm will be discussed in detail.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20120227/6535b0a6/attachment.html>
More information about the Club2
mailing list