Nieuws III

[CSI]TODAY: Engelbert Hubbers, 26 April 2004
Today, Mon Apr 26 2004 at 16:00:00 sharp,

dr. Engelbert Hubbers

of the SOS group of the NIII will give a talk in CZN8. There will becoffee and health-food cookies in the hall 15 minutes before the talkstarts.

"Reasoning about transactions in Java Card"

With the LOOP/PVS combination we have infrastructure to reason about JMLannotated Java code. Since Java Card is usually considered to be a subsetof Java, this setup should also work for reasoning about Java Cardapplets. However, if we look more precise, we see that it is not a strictsubset: Java Card has transient memory and a transaction mechanism notavailable in Java. In this talk I present a method that allows to reasonabout this kind of peculiarities.

This is joint work with Erik Poll.

Huidig

Agenda.

a.s. dinsdag - 20:00 tot 23:00
Poolen
a.s. donderdag - 16:00 tot 21:00
Sinterklaasborrel
wo 10 dec 2014 - 17:45 tot 22:30
Schaatsen
do 11 dec 2014 - 19:30 tot 23:00
Wijnproeverij

Vandaag jarig.

28-11
Marcel van der Made

Binnenkort jarig.

29-11
Tim Lubbers

Login.

Naam:
Wachtwoord:
Login vergeten?
Automatische login?

Praatpaal.

Thom, 15-Juli-2013 15:24:
Vakantie 1!!1!111one1!
Ko, 06-Mei-2013 22:42:
En toen zat het karten alweer vol...
BataKoning, 28-April-2013 20:26:
Geen Thalia bij de bata dit jaar? Jullie hebben een dik feest gemist.
Ko, 04-April-2013 14:08:
Er staat een nieuwe poll klaar! Log in en laat je stem horen. :)
Thom, 02-April-2013 15:30:
De foto's van Ramon staan eindelijk op de website!
-> ->> Archief
Wie:

Wat: