You are here: Home :: Area NEM :: Computer science

Jürgen Ruf, Thomas Kropf

Formal Verification of Discrete Real-Time Systems

Electronic systems are increasingly influencing our lives. Since they are used in safety critical areas like medicine systems or traffic control systems, the verification of electronic components is very important to avoid errors. Furthermore, the systems are often used in time dependent applications. Therefore, the checking of timing properties becomes more important. In this article we present an approach for the formal verification of real-time systems. Our approach allows the user a comfortable specification of systems and timing requirements as well as efficient automatic proof algorithms.

it – Information Technology (vormals it+ti), Oldenbourg Wissenschaftsverlag

Print ISSN: 1611-2776
Volume: 43, 01/2001
Pages: 39

Show full article (external site)

Show all available items of this journal

 

Area NEM