Media type: E-Book; Thesis Title: SAT-based verification - from core algorithms to novel application domains Other titles: Übers. des Hauptsacht.: SAT-basierte Verifikation - von Basis-Algorithmen zu neuen Anwendungsdomänen Contributor: Herbstritt, Marc [Author] Published: 2008 Extent: Online-Ressource Language: English Identifier: Keywords: Erfüllbarkeitsproblem > Bounded Model Checking Origination: University thesis: Freiburg i. Br., Univ., Diss., 2008 Footnote: Access State: Open Access