Resumen de EVP: un entorno para la integración de técnicas de descripción formal

Grupo de Ingeniería del Software

• EVP es un entorno para la especificación y análisis de sistemas distribuidos y protocolos de comunicación, cuyo objetivo principal es ofrecer la posibilidad de utilizar diferentes técnicas de descripción formal (TDFs) de una forma integrada. El entorno se ha desarrollado utilizando una implementación distribuida...