Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Vážení zákazníci, z důvodu státního svátku není dnes zákaznická podpora k dispozici. Vašim požadavkům se budeme věnovat následující pracovní den. Děkujeme za pochopení.

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Scalable Bit-precise Formal Verification of Embedded Software

Name: Scalable Bit-precise Formal Verification of Embedded Software
Brand: LAP Lambert Academic Publishing
SKU: 15200425
Price: 934 CZK
Availability: InStock
Author: Nannan He
ISBN: 9783659936548

Nannan He

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 15200425

Nakladatelství LAP Lambert Academic Publishing, listopad 2015

Many of the automatic formal verification techniques choose to model a non-Boolean program variable... Celý popis

Libristo kód: 15200425

93 b

934 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Koncepciq dizajna shokolada i karamel'nyh konfet Chhana Delajts Sunil Kumar

Brožovaná

853 Kč

La tour de Nonza Guerrazzi

Brožovaná

473 Kč

Conference Faite Au Dispensaire Municipal de la Ville de Clermont-Ferrand Le 12 Mars 1833 Gilbert Edmond Fredet

Brožovaná

315 Kč

Numerologia 2025 Alina Rubi

Brožovaná

620 Kč

Das ist ja ne schöne Bescherung Michelle Schrenk

Brožovaná

308 Kč

Kinsesetsu Bishnen Roku Volume 1 Bakin Takizawa

Brožovaná

707 Kč

Der Mensch im Sueden und im Norden Charles Victor de Bonstetten

Brožovaná

379 Kč

Ressourcenmanagement Edeltraud Günther

Brožovaná

543 Kč

Lógicas autoritarias y crisis del Estado de derecho en Colombia Hugo Fernando Saidiza Peñuela

Brožovaná

732 Kč

Einleitung in eine geometrische Theorie der ebenen Kurven Cremona Luigi Cremona

Brožovaná

529 Kč

Adam Et Eve ECCLESIASTIQUE

Brožovaná

315 Kč

Nouvelles Pieces A Dire 2e Edition CARCASSONNE-A

Brožovaná

489 Kč

LO AUTÉNTICO HENRY JAMES

Brožovaná

459 Kč

Sombras : aprende a crear 100 sombras de animales Sophie Collins

Brožovaná

410 Kč

Lübeck. Stadtführer für Kinder Majka Gerke

Brožovaná

234 Kč

Gerechtigkeitstheorien zur Einführung Bernd Ladwig

Brožovaná

429 Kč

Haus Fugger Anton Stauber

Brožovaná

813 Kč

Zur Bedeutung des Begriffs der Vergnugung fur die romanpoetologischen Konzepte von Huet und Blanckenburg Michael Schwark

Brožovaná

369 Kč

Many of the automatic formal verification techniques choose to model a non-Boolean program variable as a bit-vector with bounded width (i.e. a vector of multiple bits like 32- or 64- bits) to achieve bit-precise verification. The major challenge of applying such formal technique to real-world embedded software is scalability. This book explores several abstraction techniques to deal with this challenge. It first proposes a tight integration of program slicing, which is an important static program analysis technique, with bounded model checking. Then it presents a new symbolic simulation for scalable formal verification. This simulation involves using distinguishing Xs as symbolic values to abstract concrete variables' values. It also defines two testability metrics - controllability and observability - as the high-level structural guidance to improve efficiency of the proof-based abstraction refinement framework. This book finally proposes a novel algorithm to discover path-oriented non-uniform encoding widths of individual variables, which may be smaller than their original modeling width but large enough for formal verification.