GitHub repository: pastorsj/RDTProtocol
Primary language: Alloy
Created: 2016-04-22T19:25:51Z
Description: Verification of the Reliable Data Transfer Protocol using the Alloy specification language