SDL-News: Specifying capacities of queues, ...


Subject: SDL-News: Specifying capacities of queues, ...
From: Bernd Grahlmann (bernd#informatik.uni-hildesheim.de )
Date: Tue May 26 1998 - 12:52:39 GMT


The originator of this message is responsible for its content.
-----From bernd#informatik.uni-hildesheim.de (Bernd Grahlmann) to sdlnews -----

Dear SDL users and tool builders,

we are currently integrating SDL support into our verification tool `PEP'.
As far as verification is concerned, it makes sense to restrict the
capacity of channels and input queues, as well as the maximal number of
instances of a procedure which may be concurrently active. In order to
be compatible with other (existing) tools, I would like to know `if' and `how'
these bounds can be (explicitly) specified in the phrase representation (PR)
within other tools.

Any hints are much appreciated.

Cheers,
Bernd

*********************************************************************
Bernd Grahlmann Universit"at Hildesheim
Dipl. Inform. Institut f"ur Informatik
                                             
Telefon (+49) 05121 / 883 -760 /-740 Samelsonplatz 1
Telefax (+49) 05121 / 860 475 D-31141 Hildesheim

bernd#informatik.uni-hildesheim.de
http://www.informatik.uni-hildesheim.de/~bernd/HomePage.html
*********************************************************************

-----End text from bernd#informatik.uni-hildesheim.de (Bernd Grahlmann) 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



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