Verification of Reactive Systems

by Klaus Schneider

Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a…