2nd International Workshop on Applied Formal Methods in System Design

Workshop Preliminary Program

Wednesday June 18, 1997

9.00-11.00 OPENING SESSION OF

2nd International Workshop on Applied Formal Methods in System Design

and

4th International Conference on Telecommunications ConTEL 97

Kristian Toivo, Antun Caric (fi, hr)
Software Development in Telecommunications - Problems and Challenges

Rance Cleaveland (usa)
A Tool Framework for Verifying Concurrent Systems

11.30-12.30 VERIFICATION AND TESTING

H. Yenigun, K. Inan (usa, tr)
Verification using Leap Automata

D. Larrabeiti, J. Quemada, S. Pavon (es)
A Practical Approach to Testing Finite State Systems

14.00-15.30 TOOLS

Hubert Garavel, M. Jorgensen, R. Mateescu, Ch. Pecheur, M. Sighireanu, B. Vivien (fr)
New Features, Applications and Perspectives for the CADP'97 Toolbox

I. Lovrek, D. Jelavic, M. Pavelic, E. Dautovic, E. Filipovic, K. Madunovic (hr)
Message Sequence Chart Specification and Verification using Promela/Spin

Bernhard Steffen (de)
Software Tools for Technology Transfer

16.00-16.45 Tool Demonstrations

17:00-18.00 COST 247 Management Committee Meeting
Thursday, June 19, 1997

9.00-10.30 COMMON EXAMPLE: IEEE 1394 SERIAL BUS

Bas Luttik (nl)
Description and Formal Specification of the Link Layer of P1394

M. Sighireanu, R. Mateescu (fr)
Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus (“FireWire”): an Experiment with E-LOTOS

Lars Kuehne, Jozef Hooman, Willem-Paul de Roever (de, nl)
Towards Mechanical Verification of Parts of the IEEE P1394 Serial Bus

11.00-12.30 FORMAL SPECIFICATION AND VALIDATION USING LOTOS

Zbigniew Huzar, Jan Magott (pl)
Probabilistic Extensions of TE-LOTOS

Monika Kapus-Kolar (si)
Functionality Bipartition in Basic E-LOTOS

G. Huecas, T. Robles, L.M. Gonzalez, J. Serrano (es)
Validation of Hardware Implementations using Formal Description Techniques

14.00-16.00 SYSTEM DESIGN AND IMPLEMENTATION

Nikolaos Kosmas, Kenneth J. Turner (uk)
Requirement for Service Creation Environments

Late paper 2

Peter Langendoerfer (de)
An Annotational Extension of SDL’92 to Support a Formal Implementation Specification

Dennis Dams, Rob Gerth, Gertjan Kamsteeg (nl)
Understanding and Modelling the USB Hub

16.15-17.00 COST 247 Management Committee Meeting
Last updated: Mon May 12 12:46:31 MET DST 1997