Protocol specification, testing and verification, IV | lit.salon