Overture Tool
Formal Modelling in VDM
The 3rd Pre-Overture Workshop
VDM Workshop 3 in conjunction with FME 2002
This workshop was held on the 20th and 21st of July 2002.
Workshop Programme
- Introduction
- Invited Lecture: On the Design of a Periodic Table of VDM Specifications, Jose Nuno Oliveira
- Using TOBIAS for the automatic generation of VDM test cases by Olivier Maury, Yves Ledru, Pierre Bontron and Lydie du Bousquet
- VDM TesK: Testing VDM programs by Alexander A. Koptelov, Victor V. Kuliamin and Alexnader K. Petrenko
- Towards Dynamic Population Management in Model Oriented Specifications by Nazareno M. Aguirre, Juan Bicarregui, Theodosis Dimitrakos and Thomas S.E. Maibaum
- Integrity analysis of digital ATC track database with automatic proofs by Natsuki Terada
- Formal methods in Japan: Current state, problems and challenges by Keijiro Araki and Han-Myung Chang
- Tutorial on VDM by John Fitzgerald, Peter Gorm Larsen, Paul
Mukherjee and Nico Plat
- VDM Tutorial: Overview by John Fitzgerald
- VDM Tutorial: Architecture by Nico Plat
- VDM Tutorial: Demonstration of VDMTools by Peter Gorm Larsen
- VDM Tutorial: Concurrency by Paul Mukherjee
- VDM Tutorial: Model Quality by John Fitzgerald
- VDM Tutorial: Implementing in Java by Paul Mukherjee
- VDM Tutorial: Industrial Experience with VDM by Peter Gorm Larsen
Workshop Chairs
- JuanBicarregui, CLRC Rutherford Appleton Laboratory
- JohnFitzgerald, Transitive Technologies
- PeterGormLarsen, Systematic Software Engineering