Requirement Analysis for Communication Protocols

PROLOG Interpreted Predicate Net (PIPN) is a software tool for the specification and analysis of communications in distributed computing systems. Labelled Predicate/Transition Nets are embedded into a logic programming environment. Executable specifications are defined by labelled transition systems. Observational equivalence and temporal logic techniques are concurrently applied.