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

Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor Sabelfeld

Formal Verification of Embedded Systems

We describe the verification system C@S developed at our institute that has been designed for the verification of reactive embedded systems. C@S is based on a new synchronous language PURR, whose concepts are discussed in detail.

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

Print ISSN: 1611-2776
Volume: 41, 02/1999
Pages: 12

Journal homepage (external site)

Show all available items of this journal

 

Area NEM