Formal Verification in Computing Protocol Design | Formal Verification in Computing | Computer Science | NEROS