VDM program

Sessions take place in auditorium 7 unless otherwise indicated.

Saturday July 20th

Saturday's program is also available side by side with other meetings.

11:30-12:30  Invited talk
Chair: Peter Gorm Larsen

11:30  Josť N. Oliveira, U Minho, Portugal
Invited talk: On the design of a "periodic table" of VDM specifications

12:30-14:00  Lunch

14:00-15:30  Session 1
Chair: John Fitzgerald

14:00  Olivier Maury, Yves Ledru, Pierre Bontron, and Lydie du Bousquet; IMAG Grenoble, France
Using TOBIAS for the automatic generation of VDM test cases
14:30  Alexander A. Koptelov, Victor V. Kuliamin, and Alexander K. Petrenko; ISP/RAS Moscow, Russia
VDM++TesK: Testing of VDM++ programs
15:00  Nazareno M. Aguirre, King's College London, UK; Juan Bicarregui, Rutherford Appleton Laboratory, UK; Theodosis Dimitrakos, Rutherford Appleton Laboratory, UK; and Thomas S. E. Maibaum, King's College London, UK
Structuring in VDM and B

15:30-16:00  Refreshments

16:00-17:00  Session 2
Chair: Juan Bicarregui

16:00  Natsuki Terada, Railway Techn. Research Inst., Tokyo, Japan
Integrity analysis of digital ATC track database with automatic proofs
16:30  Keijiro Araki, Kyushu U, Japan and Han-Myung Chang, Nanzan U, Japan
Formal methods in Japan: Current state, problems and challenges

Sunday July 21st

Sunday's program is also available side by side with other meetings.

12:30-14:00  Lunch

14:00-15:30  Tutorial
Room: auditorium 4
Chair: Juan Bicarregui

14:00  John Fitzgerald, Transitive Technologies Ltd, UK; Peter Gorm Larsen, Systematic Software Engineering, Denmark; Paul Mukherjee, Systematic Software Engineering, Denmark; and Nico Plat, West Consulting, The Netherlands
Invited tutorial: Half-day tutorial on VDM++

15:30-16:00  Refreshments

16:00-17:30  Tutorial
Room: auditorium 4
Chair: Juan Bicarregui

16:00  John Fitzgerald, Transitive Technologies Ltd, UK; Peter Gorm Larsen, Systematic Software Engineering, Denmark; Paul Mukherjee, Systematic Software Engineering, Denmark; and Nico Plat, West Consulting, The Netherlands
continued: Half-day tutorial on VDM++
† † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † †