Protocol Specification Tool

  •        0

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

http://prospec.sourceforge.net

Tags
Implementation
License
Platform

   




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

kkrac-ProSpec


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.