Protocol Specification, Testing, and Verification, V | lit.salon