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



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.