Subject: Re: SDL-News: SDL and temporal logic
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Fri Dec 15 2000 - 16:50:27 GMT
Become an SDL Forum Society member <http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From Rick Reed TSE <rickreed#tseng.co.uk> to sdlnews -----
Pedro Merino at pedro#lcc.uma.es 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 - rickreed#tseng.co.uk Tel:+44 1455 55 96 55 Fax:+44 1455 55 96 58 Mob.:+44 7970 50 96 50
--End text from Rick Reed TSE <rickreed#tseng.co.uk> to sdlnews --- For extra SDL Forum Society benefits join at <http://www.sdl-forum.org/Society/members.htm>
This archive was generated by hypermail 2a23 : Sun May 19 2013 - 23:10:30 GMT