Temporal Logic Verification Execution Protocol | Temporal Logic Verification | Formal Methods | NEROS