Verification of Reactive Systems

Formal Methods and Algorithms

Autori

• Klaus Schneider

Parametri

• 620 pagine
• 22 ore

• Computer, IT, programmazione

Maggiori informazioni sul libro

The importance of reactive systems spans technical, professional, and everyday life, presenting significant design challenges that balance safety and time-to-market. Early design phases now incorporate verification processes to compare specifications with system descriptions, enabling the identification of potential design errors at the earliest stages. This proactive approach is crucial for developing reliable and efficient reactive systems in various applications.

Lingua: Inglese

Pubblicato: 2010

(In brossura)