Proof certificates and non-linear arithmetic constraints

Symbolic methods in computer-aided verification rely heavily on constraint solvers. The correctness and reliability of these solvers are of vital importance in the analysis of safety-critical systems, e.g., in the automotive context. Satisfiability results of a solver can usually be checked by probi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Kupferschmid, S, Becker, B, Teige, T, Franzle, M
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algorithm design and analysis Benchmark testing Calculus Cost accounting Iterative closest point algorithm Reactive power Syntactics
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!