Subject: SDL-News: LTL properties
From: Philippe Dhaussy (Philippe.Dhaussy#ensieta.fr )
Date: Thu Oct 15 1998 - 07:18:29 GMT
The originator of this message is responsible for its content.
-----From Philippe.Dhaussy#ensieta.fr (Philippe Dhaussy) to sdlnews -----
I am interested to specify temporal properties with LTL or an other
temporal logic.
Could somebody suggest a tool to compile temporal logic specifications
into finite state machines (SDL observers) ?
Any pointers are also most welcome.
Best Regards
Philippe DHAUSSY
------------------------------------------------------------
Philippe DHAUSSY Enseignant-chercheur
ENSIETA Depart. EIA Phone : (33) 02 98 34 88 90
2 rue Francois-Verny Fax : (33) 02 98 34 87 50
29806 Brest Cedex 9 Email : dhaussy#ensieta.fr
------------------------------------------------------------
-----End text from Philippe.Dhaussy#ensieta.fr (Philippe Dhaussy) to sdlnews -----
For help, email "majordomo#sdl-forum.org" with the body of your email as:
help
or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org
This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT