國立臺灣大學電機工程學系暨研究所王凡2006-07-252018-07-062006-07-252018-07-062003-07-31http://ntur.lib.ntu.edu.tw//handle/246246/7935在國科會三年長期的支持下，我們探討在即時系統的自動驗證上 資料結構之底層基礎技術。BDD-Like 資料結構對即時系統自動驗證 有很好的效能表現。日前，我們也已經在國際會議上發表相關的論文 及實驗數據。在此報告中， 我們將對目前的進展與成果作一說明。With the three-year support from NSC, we confer on the bottom-layer basic technology, data structure, for the automatic verification in real-timed system. The BDD-Like data-structure has very efficient performance in automatic verification for real-timed system. A few days ago, we also have presented the related paper and our experiment data in the national conference. In this report, we will explain our progress and fruitful results nowadays.application/pdf152855 bytesapplication/pdfzh-TW國立臺灣大學電機工程學系暨研究所reporthttp://ntur.lib.ntu.edu.tw/bitstream/246246/7935/1/912213E002132.pdf