[Club2] Erinnerung -- Quickcheck in Isabelle/HOL]

Thu Jul 9 10:18:08 CEST 2009

Do 9. Juli, 10:30 im John v. Neumann (00.11.038)

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/20090709/65a75a73/attachment.pgp>