Herde, Christian (Autor)
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Beschreibung
Due to the growing use of more and more complex computerized systems in safety-critical applications, the formal verification of such systems is increasingly gaining importance. Many automatic and semi-automatic schemes for hardware and software verification ultimately rely on decision procedures for discharging the proof obligations generated during the verification process.
Produktdetails
ISBN/GTIN | 978-3-8348-9949-1 |
---|---|
Seitenzahl | 163 S. |
Kopierschutz | mit Wasserzeichen |
Dateigröße | 1245 Kbytes |