Deductive verification of object-oriented software

Name: Deductive verification of object-oriented software
Brand: Karlsruher Institut Fur Technologie
SKU: 9783866446236
Price: 643 CZK
Availability: InStock

dynamic frames, dynamic logic and predicate abstraction

Autor: Benjamin Weiß

Jazyk:

Vazba: Brožovaná

Vydavatel: Karlsruher Institut Fur Technologie

Dostupnost: Skladem u dodavatele

Odesíláme za 8-11 dnů

643 Kč

Software systems play a central role in modern society, and their correctness is often crucially imp...

Informace o knize

Autor

Benjamin Weiß

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2014

Stránek

292

EAN

9783866446236

Enbook ID

01877574

Vydavatel

Karlsruher Institut Fur Technologie

Hmotnost

467

Rozměry

170 x 244 x 16

Kompletní popis

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také