Similar to 自己認識論理

Mondex

Finite-state machine

Loop invariant

Safety-critical system