[Club2] Quickcheck in Isabelle/HOL

Fri Jul 3 13:50:00 CEST 2009

Do 9. Juli, 14:30 im Alan Turing (00.09.055)
--------------------------------------------

Quickcheck ist ein aus der Programmiersprache Haskell nach Isabelle/HOL
übernommener Ansatz zur Suche von Gegenbeispielen für vermeintliche
Theoreme.

Der Werkstattvortrag schildert die technische Umsetzung von Quickcheck
mit einem besonderen Blick auf zugrunde liegende Mechanismen (u.a.
Codegenerierung, Datentypinterpretation, User Space Typesystem).

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 252 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/mailman/private/club2/attachments/20090703/670a1f4a/attachment.pgp>