Subject: SDL-News: SDL validation
From: Dmitri Sotnikov (mitia#iname.com)
Date: Tue Dec 22 1998 - 15:19:27 GMT
The originator of this message is responsible for its content.
-----From Dmitri Sotnikov <mitia#iname.com> to sdlnews -----
Dear SDL users,
Is there any theory for symbolic model checking of SDL specifications?
-----End text from Dmitri Sotnikov <mitia#iname.com> to sdlnews -----
For help, email "majordomo#sdl-forum.org" with the body of your email as:
or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org
This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT