Verification Tools Seminar

Friday 28 August 1998

Linköping University

The third meeting in the Stockholm-Uppsala-Linköping verification tools seminars will take place in the Dept. of Computer and Information Science (IDA), the seminar room Estraden,  E building, 1st floor.
 

Program:

      9.30 - 10.15 Tim Heyer (Linköping University), COMPASS: Introduction of Formal Methods in
                            Code Development and Inspection
    10.15 - 10.30 Coffee break

Invited talks:
    10.30 - 11.15 Kenneth Östberg (Carlstedt VHDL Design),  Introduction to model checking and
                            experiences at FMV
    11.15 - 12.00 Lars-Olof Kihlström (Telelogic AB),  A practical method of using SDL
    12.00 - 12.45 Arne Borälv (Prover Technology) ,  Verification of Statemate specifications:
                            experiences and product development

Lunch

Presentations:
    14.00 - 14.45 Thomas Arts (Ericsson Telecom AB), Mads Dam,  Lars-Åke Fredlund and
                            Dilian Gurov (SICS) A tool for verifying telecom software
    14.45 - 15.30 Simin Nadjm-Tehrani (Linköping University), The Esprit SYRF project, The climatic
                            chamber case study
    15.30 - 15.45 Coffee break
    15.45 - 16.30 Johan Bengtsson, Bengt Jonsson,  and Wang Yi (Uppsala University),
                            Verification of Timed Systems using Partial Order Reduction

Earlier meetings

 Two earlier meetings have taken place in
 

Last Modified 28 Aug 98,  Simin Nadjm-Tehrani