Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!ephemeral.ai.toronto.edu!gershon
From: gershon@ai.toronto.edu (Ron Gershon)
Newsgroups: comp.dcom.lans
Subject: Looking for a protocol modeling package
Message-ID: <89Jun30.151541edt.10950@ephemeral.ai.toronto.edu>
Date: 30 Jun 89 19:15:38 GMT
Distribution: na
Organization: Department of Computer Science, University of Toronto
Lines: 11

I am trying to locate a PC-based communications protocol modeling
tool to perform a static analysis. It should all those nice things
like reachability analysis, check for safety and liveness, etc. Does
such a piece of software exist? Have any tools based on the ESTELLE
standard been created? Any information would be greatly appreciated.
-- 
		Ron Gershon


CSNET, ARPANET, BITNET:
		gershon@ai.toronto.edu