Weryfikacja systemów i oprogramowania: Techniki i narzędzia sprawdzania modeli

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Systems and Software Verification: Model-Checking Techniques and Tools

Zawartość książki:

Sprawdzanie modelu jest potężnym podejściem do formalnej weryfikacji oprogramowania.

W stosownych przypadkach automatycznie dostarcza kompletnych dowodów poprawności lub wyjaśnia, za pomocą kontrprzykładów, dlaczego system nie jest poprawny. Niniejsza książka stanowi podstawowe wprowadzenie do tej nowej techniki.

Pierwsza część opisuje w prosty sposób teoretyczne podstawy sprawdzania modeli: systemy przejść jako formalny model systemów, logikę temporalną jako formalny język dla właściwości behawioralnych oraz algorytmy sprawdzania modeli. Druga część wyjaśnia, jak pisać bogate i ustrukturyzowane specyfikacje logiki temporalnej w praktyce, podczas gdy trzecia część zawiera przegląd niektórych z głównych dostępnych narzędzi do sprawdzania modeli.