[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