Abstraction and search in verification by state exploration 状態探査による検証における抽象化と探索

Search this Article

Author

    • 高橋, 孝一 タカハシ, コウイチ

Bibliographic Information

Title

Abstraction and search in verification by state exploration

Other Title

状態探査による検証における抽象化と探索

Author

高橋, 孝一

Author(Another name)

タカハシ, コウイチ

University

東京大学

Types of degree

博士 (理学)

Grant ID

乙第15268号

Degree year

2002-02-18

Note and Description

博士論文

Codes

  • NII Article ID (NAID)
    500000230433
  • NII Author ID (NRID)
    • 8000000230930
  • Text Lang
    • eng
  • NDLBibID
    • 000004106887
  • Source
    • NDL ONLINE

Export

Page Top