Invited Talk
Special Topics in Computer Science
Department of Computer Science and Information Engineering
National Chung Cheng University
April 21, 2003
Formal Verification of Real-Time Systems
Abstract
In this speech, we will briefly present the background knowledge of
formal verification technology of untimed and timed systems.
In the last part, we shall discuss our work in using BDD-like data-structures
for the verification of embedded systems.