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