Sandip Ray
Gebundenes Buch

Scalable Techniques for Formal Verification

Versandkostenfrei!
Versandfertig in 6-10 Tagen
75,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
38 °P sammeln!
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure that those systems execute c- rectly. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware. A key advantage of formal veri?cation is that it provides a mathematical guarantee of their correctne...