Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
germană
205 b
30 de zile pentru retur bunuri
Clienții au cumpărat de asemenea
/
Carte broșată
120.72
lei
/
Carte broșată
606.76
lei
/
Carte broșată
81.83
lei
/
Carte broșată
216.22
lei
/
Carte broșată
149.60
lei
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 are then transferred to novel§verification models. Moreover, we describe §approaches that incorporate the structure of§the problem to exploit knowledge gained during the§verification process on the level of the SAT-solver.§§The main focus of the book is on the verification of§incomplete system designs, which occur for example in§the early phase of a design. We describe various§SAT-based modeling concepts that vary regarding their§expressiveness and computational resources. The§proposed methods are evaluated experimentally to§guarantee their applicability in practice.
Informații despre carte
germană
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
/
Audio CD
65.78
lei
/
Carte broșată
115.92
lei
Bună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?