A Hybrid Approach to Verify A Train Fare Calculation System Using Testing and Theorem Proving.

Nguyen Van Tang

(AIST Japan)

In this talk, I will present our work on verification of a large-scale software system (Japanese train fare calculation system) in practice. This is a collaborative research project between AIST/CVS and a company. I will briefly present our main formal verification techniques to verify the system, such as VDM (Vienna Development Method) specification
languages + Agda (a functional programming languages and theorem prover).
Thursday 18th March 2010, 14:00
Video Conferencing Room - Far-134
Department of Computer Science