Re: SDL-News: SDL and temporal logic

Subject: Re: SDL-News: SDL and temporal logic
From: Rick Reed TSE (
Date: Fri Dec 15 2000 - 16:50:27 GMT

Become an SDL Forum Society member <>
The originator of this message is responsible for its content.
-----From Rick Reed TSE <> to sdlnews -----

Pedro Merino at wrote on 15/12/2000 09:52:
> I am working in the verification of temporal logic properties against
> SDL systems. The idea is to support LTL as a complementary property
> language to MSC.
> I know that the AT&T SDLvalid tool support LTL verification. But can
> anybody give me information about other SDL tools supporting temporal
> logic ?

Can anyone tell me where I can find out about the AT&T SDLvalid tool? I
dont't think that I have never heard of it, and would like to mention it on
the SDL Forum WWW site.

Rick Reed -
Tel:+44 1455 55 96 55 Fax:+44 1455 55 96 58 Mob.:+44 7970 50 96 50

--End text from Rick Reed TSE <> to sdlnews --- For extra SDL Forum Society benefits join at <>

This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT