Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 ESF Exploratory Workshop: Challenges in Java Program Verification
There have been a number of important
breakthroughs in Java verification in the last years, but we believe
that research must be taken to the next level:
We must increase the
scope of verification technology further; Java Card (and a bit more)
is essentially under control, but multi-threaded programs, generic
types, dynamic class loading, and floating point types still pose
considerable challenges.
Automation and interfaces of Java
verification tools must be improved considerably. How to make best use
of the considerable advances in FOL, SMT, and SAT areas? Can we work
towards a verification-as-debugging usage paradigm? Which usability
features of verification tools are required to render them widely
accepted in industry?
There are more or less agreed upon formal
semantics for specification languages and programming languages, but
there is a gap between annotated programs and proof obligations. What
means correctness in various scenarios?
In addition, there is a need
for more and better coordination:
Among academic researchers:
particular solutions to cope with certain aspects of verification are
not easily re-usable in other scenarios. Each research group came up
with solutions for logical frameworks, verification techniques,
implementation technology, etc. Which choices proved to be successful
and which not? How can technology be transferred?
Among academics and
industrial users: what are important scalability issues and possible
solutions? What kind of properties should the verification community
concentrate on? What are the expectations of industry?
Similar events
that focus on software security/correctness and related subjects, in
particular software verification, are held relatively often in Europe
(VSTTE, CASSIS, and - now well established - FTfJP). The ESF workshop
is intended to be even more focused, oriented towards possible future
research directions and cooperation rather than presenting already
well established solutions. The intention is to share experience
within the Java verification community as well as to discuss future
research priorities among the main groups working on Java verification
and the users of this technology.
Workshop participants will be placed in two hotels in the
center of Nijmegen. There is no need for the participants
to contact the hotels, places will be arranged by the organizers and
information sent out to the participants. The hotels are:
Apollo Hotel
Bisschop Hamerstraat 14
6511 NB Nijmegen
The Netherlands
Tel: +31 (0) 24 322 35 94
Fax: +31 (0) 24 323 31 76
E-mail: mailto:apollon1@tref.nl
How to get from Amsterdam Schipol Airport to Nijmegen
Update:
The most suitable way to travel from Schiphol Airport to Nijmegen is
by train with a change in Utrecht Central. Both trains (from Schipol
to Utrecht, and from Utrecht to Nijmegen) run every 30 minutes during
the day. The price for the ticket is around 17 Euro for single trip and 30 Euro for
a return trip. Train schedules can be checked at:
or (what I always prefer, but it does not tell the prices) German
Railways: http://www.bahn.de
Important notes:
ticket machines in the Netherlands do not accept
Master Card or Visa cards, nor do they accept bank notes. You can use
coins, international Maestro cards, or dutch Chip-Knip cards. You can
also buy the ticket at the ticket office at the train station at the
airport. Since recently getting on a train in the Netherlands without
a valid ticket will always cost you extra 30 Euro of penalty.
Bus tickets
You can ride on a bus with a nation wide blue Strippenkaart, which
can be bought at a train station, for example, at the book/newspaper
store. Most trips within Nijmegen
Center/University cost two stripes on the card. The bus driver stamps
the card. You can also buy the ticket from the driver.
How to get to your hotel from the train station
Apollo Hotel: This hotel is within walking distance from the train
station (see the map link below)
Hotel Atlanta: This hotel is also reachable by foot from the train
station (approximately 800 meters walk), but it's also possible to
take the bus number 6 (direction Neerbosch Oost) and get off at Plein
1944 (see map link below). The bus trip takes 3 minutes.
How to get to the Workshop location from your hotel
Apollo Hotel: To get to the
University go to the train station where all the buses leave and take
bus number 10 (direction University). See the University campus map to
see where to get off. Bus number 6 and other buses are also possible,
see below.
Atlanta Hotel: Take bus
number 6 from Plein 1944 (direction Brabantse Poort) and get off at
the bus stop marked on the campus map. The bus trip takes 9 minutes.
Bus number 6 goes every 10 or 20 minutes minutes in the morning
depending on the actual time. An up to date time tables will be
provided here in due time. Bus number 6 also goes
through train station so you can take it from there, or take bus
number 10 from the train station. Just do not confuse number 6
direction Brabantse Poort with number 6 direction Neerbosch Oost.
How to get back to your hotel
If you want to go with bus number 10 use the same bus stop where you
got off (bus number 10 goes in circles between the train station and
the university). For bus number 6 take the bus stop on the opposite
side of the road.