next up previous

Final Report of the COST-247 Action

A Practical Approach to Testing Finite State Systems

D. Larrabeiti, J. Quemada, S. Pavón

Dept. of Telematic Engineering
Technical University of Madrid
Ciudad Universitaria
Madrid 28040
Tel: +34 1 5495700
Fax: +34 1 3367333
E-mail: , ,


This paper presents a variation of the testing equivalence that provides an intuitive practical framework to test LOTOS behaviours whose infinite executions can be expressed in terms of successions of cycles. The proposal targets:

This features are being incorporated in the LOLA tool (LOTOS LAboratory)

This presentation has been given during the COST-247 2nd International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia, June 18-19, 1997).

COST-247 Working Group(s): 1

Web Links : , ,

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page