Fundamental Technologies for Verification Tool of Real-Time System
Date Issued
2004-07-31
Date
2004-07-31
Author(s)
DOI
922213E002103
Abstract
Thanks to the support of National
Science Council for the long-term support of
three years, we were able to develop the
fundamental technologies of the verification
tool, RED ( Region-Encoding Diagram ).
By using new data-structures, analysis
techniques, and verification techniques, this
tool can carry out efficient state-space
representation and manipulations. Besides,
we add the application of coverage
estimation in the tool to predict the
performance and efficiency of strategies.
According the data , we can find the best or
the adaptive methods to execute. We improve
the applicability and value of RED in
industry.
Subjects
Real-time system
verification
coverage
model checking
symbolic simulation
Publisher
臺北市：國立臺灣大學電機工程學系暨研究所
Type
report
File(s)![Thumbnail Image]()
Loading...
Name
922213E002103.pdf
Size
289.5 KB
Format
Adobe PDF
Checksum
(MD5):009369f56c816a74327898189595a65e