Satisfiability & Verification
Marc Herbstritt
Broschiertes Buch

Satisfiability & Verification

From Core Algorithms to Novel Application Domains

Versandkostenfrei!
Versandfertig in 6-10 Tagen
89,90 €
inkl. MwSt.
PAYBACK Punkte
0 °P sammeln!
The verification of systems to guarantee their correct behavior is discussed in this book. The mainly applied algorithmic method is the model checking technique combined with algorithms for solving the satisfiability problem (short: SAT). SAT-based verification of discrete systems has become one of the most effective technique within the last 10 years, such that industrial as well as academic applications heavily rely on it. The book covers the whole range of a SAT-based tool application. We propose extensions and concepts that concentrate on the core of a SAT-solver. However, these proposals ...