Main Content

複数のプロパティによるプロパティ証明

この例では、複数のプロパティによるプロパティ証明解析の実行方法を示します。このモデルは次の証明を試行する解析用に設定されます。

  • 現在の入力値および以前の 6 つの入力値が true の場合、出力は true になる。

  • 現在の入力値および以前の 6 つの入力値が false の場合、出力は false になる。

open_system('sldvdemo_debounce_validprop');