Deductive verification of object-oriented software

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

dynamic frames, dynamic logic and predicate abstraction

Autor: Benjamin Weiß

Język:

Oprawa: Miękka

Wydawca: Karlsruher Institut Fur Technologie

Dostępność: Dostępna u dostawcy

Wysyłamy za 8-11 dni

119.84 zł

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

Informacje o książce

Autor

Benjamin Weiß

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2014

strony

292

EAN

9783866446236

Enbook ID

01877574

Wydawca

Karlsruher Institut Fur Technologie

Waga

467

Wymiary

170 x 244 x 16

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również