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.

Vandaag jarig.

30-07
Jorrit de Boer

Binnenkort jarig.

02-08
Vincent Slieker
03-08
Stijn Voss
04-08
Phil Geelhoed
Stefan Joosten

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: