The Pandora Protocol Development System.
Gerard J. Holzmann, Rob A. Beukers · 1983
In a joint project with the Netherlands PTT, the Delft University of Technology is developing an interactive protocol design and analysis system named ‘Pandora’. The system provides users with a controlled environment for protocol synthesis and formal analysis, and offers both software and hardware tools for protocol assessment. Pandora can assist the user in the documentation of protocol designs by autonomously ...