「システムは、いかなる場合もユーザーパスワードを表示してはならない」の記述法は。

EARSでは、システムが行ってはならない「望ましくない振る舞い」を明示的に記述する構文がある。