Kripke modelとは 意味・読み方・使い方

A Kripke property is generated from the Kripke model 103.例文帳に追加

Ｋｒｉｐｋｅモデル１０３からＫｒｉｐｋｅプロパティを生成する。 - 特許庁

This source code verification system 200 converts verification-objective source code 100 into a Kripke structure model 300, model-inspects the Kripke structure model 300, and verifies thereby the verification-objective source code 100.例文帳に追加

ソースコード検証システム２００は、検証対象ソースコード１００をKripke構造モデル３００に変換し、Kripke構造モデル３００に対してモデル検査を行うことにより、検証対象ソースコード１００を検証する。 - 特許庁

The selected finite state machine model 900 is converted into a Kripke model 103.例文帳に追加

選択された有限状態機械モデル９００をＫｒｉｐｋｅモデル１０３に変換する。 - 特許庁

The Kripke structure model 300 is generated to eliminate a state not satisfying a condition described in contract information defined about the verification-objective source code 100.例文帳に追加

Kripke構造モデル３００は、検証対象ソースコード１００について定義された契約情報に記述された条件を満足しない状態を排除するようにKripke構造モデル３００を生成する。 - 特許庁