SDL-News: SDL validation

Subject: SDL-News: SDL validation
From: Dmitri Sotnikov (
Date: Tue Dec 22 1998 - 15:19:27 GMT

The originator of this message is responsible for its content.
-----From Dmitri Sotnikov <> to sdlnews -----

Dear SDL users,

Is there any theory for symbolic model checking of SDL specifications?

Dmitri Sotnikov

-----End text from Dmitri Sotnikov <> to sdlnews -----
For help, email "" with the body of your email as:
or (iff this does not answer your question) email:

This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT