gershon@ai.toronto.edu (Ron Gershon) (07/01/89)
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