Subject: SDL-News: SDL and temporal logic
From: Pedro Merino (pedro#lcc.uma.es)
Date: Fri Dec 15 2000 - 09:52:46 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 Pedro Merino <pedro#lcc.uma.es> to sdlnews -----
Dear Colleagues,
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 ?
Regards
Pedro Merino
-----------------------------------------------------------------------------
Pedro Merino Gómez
Universidad de Málaga, Departamento de Lenguajes y Ciencias de la Computación ETSI Informática- ETSI Telecomuniación Campus de Teatinos 29071 Málaga (SPAIN)
Teléfono: 952 132752 Fax: 952131397 e.mail: pedro#lcc.uma.es Despacho: 3.2.9 ----------------------------------------------------------------------------
--End text from Pedro Merino <pedro#lcc.uma.es> 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 : Thu May 09 2013 - 16:05:49 GMT