文書・図像類

論理式肥大に伴う活性のモデル検査の非効率化の改善

Icons representing 文書・図像類

論理式肥大に伴う活性のモデル検査の非効率化の改善

Material type
文書・図像類
Author
緒方, 和博
Publisher
-
Publication date
2014-04-23
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General)：

公平性のもとでの活性のモデル検査対象の論理式は"公平性 ⇒ 活性"の形をとる。この論理式はBuchiオートマトンへ変換される。この変換は論理式の大きさに対しべき乗の計算と空間を必要とするため、公平性が大きくなるとBuchiオートマトンへの変換が実質不可能になり、モデル検査自体もできなくなる。本研究で...

Search by Bookstore

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • JAIST Repository

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
    JAIST Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
文書・図像類
Title
論理式肥大に伴う活性のモデル検査の非効率化の改善
Author/Editor
緒方, 和博
Author Heading
緒方, 和博
Publication Date
2014-04-23
Publication Date (W3CDTF)
2014-04-23
Alternative Title
Improvement of liveness model checking performance degraded by obese formulas
Periodical title
科学研究費助成事業研究成果報告書
Pages
1-4
Text Language Code
jpn