SDL-News: SDL validation

Subject: SDL-News: SDL validation
From: Dmitri Sotnikov (mitia#iname.com)
Date: Tue Dec 22 1998 - 15:19:27 GMT

• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Maha Boughdadi: "SDL-News: Time restriction"
• Previous message: Rick Reed TSE: "Re: SDL-News: Casting?"

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?

Regards,
Dmitri Sotnikov

-----End text from Dmitri Sotnikov <mitia#iname.com> to sdlnews -----
For help, email "majordomo#sdl-forum.org" with the body of your email as:
    help
or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org

• Next message: Maha Boughdadi: "SDL-News: Time restriction"
• Previous message: Rick Reed TSE: "Re: SDL-News: Casting?"

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