Protocol Specification Tool

  •        0

Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.



comments powered by Disqus

Related Projects

Sgm - Sistema de Gestão de Mulheres

O SGM (Sistema de Gestão de Mulheres) é um sistema de apoio aos processos de prospecção de mulheres e manutenção da carteira de mulheres.

ProSpec - BDD framework for Prolog

BDD framework for Prolog


Prospec is the foundation of a tool to run executable specifications using Specflow. It provides a thin layer that helps you abstract your ATDD/BDD tests by using the PageObject pattern.

Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.

Tag Cloud >>