Systems and Software Verification

Name: Systems and Software Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642074783
Price: 139.72 EUR
Availability: InStock

Autor: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

139.72 €

Model checking is a powerful approach for the formal verification of software. It automatically prov...

Informácie o knihe

Autor

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2010

Stránok

190

EAN

9783642074783

ISBN

3642074782

Enbook ID

01652609

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

328

Rozmery

155 x 235 x 18

Kompletný popis

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Systems and Software Verification

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Cultures of Power in Post-Communist Russia

The Photographer's Eye - Developing an Artistic Vision for Architectural Photography

Complete Air Fried Seafood Cookbook

Real Planet of the Apes

Fate Knocks at the Door

The Witwer Files

Beauty and the Beast (Illustrated Edition)

Second Cup

Never In Her Arms

Memoir Of The Last Illness And Death Of William Tharp Buchanan, Of Ilfracombe (1837)

Tell Me About the Holy Spirit

Japanese Influences and Presences in Asia

Violin Scales, Arpeggios & Studies Initial-Grade 8 from 2016

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Proces Politique Et Republicain Du Citoyen Auguste Caunes

Exzellenz in Dienstleistung Und Vertrieb

OXFORD Školní sešit A6 "644" linka 40 listů CZ/SK

Maoři

GERMAN, E JUST SO SONGS SATB/PIANO CHANT

Иди и делай. 12 принципов жизни, полной побед и достижений

Un chien à ma table

Radical Left Voters in Western Europe

The Fame Monster