Kapcsolat
Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Német
212 b
Akár 30 napos visszaküldési lehetőség
A vásárlók ilyet vásároltak
/
Puha kötésű
18 727
Ft
/
Puha kötésű
5 602
Ft
/
Puha kötésű
8 673
Ft
/
Puha kötésű
11 018
Ft
/
Puha kötésű
5 839
Ft
/
Puha kötésű
14 692
Ft
/
Puha kötésű
48 895
Ft
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.
Információ a könyvről
Német
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
/
Audio CD
4 714
Ft
/
Puha kötésű
4 590
Ft
/
Puha kötésű
10 686
Ft
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?