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.
