SDL-News: SDL and temporal logic

Subject: SDL-News: SDL and temporal logic
From: Pedro Merino (
Date: Fri Dec 15 2000 - 09:52:46 GMT

Become an SDL Forum Society member <>
The originator of this message is responsible for its content.
-----From Pedro Merino <> 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 ?

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: Despacho: 3.2.9 ----------------------------------------------------------------------------

--End text from Pedro Merino <> 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