Logical Consistency Analysis Protocol Design | Logical Consistency Analysis | Logic | NEROS