そのソフトウェアのカットのルールが稀なエッジケースを考慮しておらず、予期しない結果を引き起こした。

エンジニアチームはチップのシミュレーションを行う前に論理回路図を確認した。

討論は十数人の論理を切り刻む者たちによって台無しになり、彼らは主張を意味のない断片に切り裂き続けた。

討論チームは相手を議論を切り裂く者たちだと一蹴し、あらゆる主張を冷徹な精度で論破した。

セミナーで、学生たちは時間的概念を最もよくモデル化できる様相論理の諸体系を比較した。

エンジニアチームは試作機の断続的なタイミング問題をデバッグするために、論理信号解析器を使用した。

研究者たちは、どのモデルがシェフの刻み動作を最もよく再現するかを調べるため、刻む動作に基づく複数の論理体系を比較した。

更新を展開する前に、チームはエッジケースに正しく対応するかを確認するためにアプリケーションの業務ロジックを確認した。

大学院生たちは、どの義務論的論理の体系が規範的推論を最もよく捉えるかを比較した。

私たちのゼミでは、時間的推論を最もよくモデル化する複数の記述論理を比較しました。