https://scholars.lib.ntu.edu.tw/handle/123456789/304235
標題: | Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems | 作者: | FARN WANG G.-D. Huang F. Yu. |
關鍵字: | Coverage; Real-time; Simulation; Symbolic; Verification | 公開日期: | 九月-2003 | 起(迄)頁: | 160-176 | 來源出版物: | FORTE'2003, LNCS 2767 | 摘要: | Three numerical coverage metrics for the symbolic simulation of dense-time systems and their estimation methods are presented. Special techniques to derive numerical estimations of dense-time state-spaces have also been developed. Properties of the metrics are also discussed with respect to four criteria. Implementation and experiments are then reported. © IFIP International Federation for Information Processing 2003. |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-35048877135&doi=10.1007%2f978-3-540-39979-7_11&partnerID=40&md5=50efd58b570d0464e7887e7908dcd2de | DOI: | 10.1007/978-3-540-39979-7_11 | SDG/關鍵字: | Estimation; Interactive computer systems; Model checking; Numerical methods; Verification; Coverage; Coverage estimations; Coverage metrics; Dense-time; Estimation methods; Numerical estimation; Real time; Symbolic simulation; Real time systems |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。