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.
How to get from Amsterdam Schipol Airport to Nijmegen
You can take a train from Schiphol Airport to Duivendrecht (there is a
train every thirty minutes), where you change trains. From
Duivendrecht there are direct trains to Nijmegen Central Station every
thirty minutes. The journey will take an hour and a half in total. The
price for the ticket is around 17 Euro for single trip and 30 Euro for
a return trip.
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 Strippen Karte, which
can be bought at a train station. 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 and the link in "Other information".
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.