EVP: Integration of FDTs for the analysis and verification of communication protocols [chapter]

P. Merino, J. M. Troya
1996 Lecture Notes in Computer Science  
EVP is an integrated tool-set for specification and the analysis of communication protocols and distributed systems. Specifications in standard Formal De-~Tiption Techniques (FDTs) like SDL or LOTOS are translated into a common language, and then analysed with tools for this internal representation. The common language is a concmztnt logic language Slx~ially designed for distributed programming. The analysis consists in interactive simulation and automatic verification.
doi:10.1007/3-540-61474-5_90 fatcat:uamufsuovrf6rmb2dqveac447i