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

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 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構造モデル３００を生成する。 - 特許庁

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

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

When the Kripke property is obtained, a trap property 105 for use case state coverage (UCSC) and a trap property 106 for use case transition coverage (UCTC) can be obtained only by applying the Kripke property to a known form verification tool.例文帳に追加

Ｋｒｉｐｋｅプロパティが求まれば、Ｋｒｉｐｋｅプロパティを公知の形式検証ツールに与えるだけで、ユースケースの状態カバレッジ（ＵＣＳＣ）用Ｔｒａｐプロパティ１０５とユースケースの遷移カバレッジ（ＵＣＴＣ）用Ｔｒａｐプロパティ１０６を得ることができる。 - 特許庁