formal description methodとは 意味・読み方・使い方

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique.例文帳に追加

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

In the method and a structure, the set of the device characteristics of a device to be emulated and the formal description of one or more applications to be emulated are supplied, and when the user interface of the application appears on many respective target devices, the user interface is emulated on a single display platform.例文帳に追加

エミュレートされる装置の装置特性のセットと、エミュレートされる１つ以上のアプリケーションの形式的記述とが与えられ、アプリケーションのユーザ・インターフェースが多数の各ターゲット装置上に現れるとき、単一の表示プラットフォーム上で、当該ユーザ・インターフェースをエミュレートする方法及び構造が提供される。 - 特許庁