A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
EVP: Integration of FDTs for the analysis and verification of communication protocols
[chapter]
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