Herde, Christian (Autor)

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Verfügbare Version:

sofort lieferbar

  53,49 €
inkl. MwSt., ggf. zzgl. Versand

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

Produktsicherheit



Wird geladen …