Seventh Meeting
The meeting took place in
Nässlingen (Sweden) between June 8th and 11th, 2002
. The following talks were presented here:
Luis Latour (Liege):
PGM Protocol: Experiments with Lash
Marc Boyer (Paris):
PGM: A Study with IF-tools
Bengt Jonsson (Uppsala): Channel Representation in Protocol Verification
Dana Fisman (Weizmann Inst.):
Liveness with Counter Abstraction
(Pnueli, Xu, and Zuck)
Pritha Mahata (Uppsala):
Downward Closed Language Constructors
Agathe Merceron (Paris):
Parametric Verification of a Group Membership Protocol
Thomas Arts (Ericsson):
On the Verification of the Resource Locker Case-Study
Tomas Vojnar (Paris):
Progress in Parameterized Systems of Processes with Shared Resources
Julian d'Orso (Uppsala):
On Regular Tree Model Checking
Monika Maidl (Edinburgh): On Termination of Verification of Parameterized Systems