This book advocates the integrated and tool supported use of all available verification methods to improve software correctness. The following major software verification techniques and their supporting tools, based on sound mathematical models.
Description
This book advocates the integrated and tool supported use of all available verification methods to improve software correctness. The following major software verification techniques and their supporting tools, based on sound mathematical models.
%0 Book
%1 1234
%A Laski, Stanley;William
%B Software Verification and Analysis
%D 2009
%E London, Springer
%K Kosaci Program Software Static Testing analysis proving verification wisrep09
%N 978-1-84882-239-9
%T Software Verification and Analysis
%V XVIII
%X This book advocates the integrated and tool supported use of all available verification methods to improve software correctness. The following major software verification techniques and their supporting tools, based on sound mathematical models.
@book{1234,
abstract = {This book advocates the integrated and tool supported use of all available verification methods to improve software correctness. The following major software verification techniques and their supporting tools, based on sound mathematical models.},
added-at = {2009-05-19T21:20:48.000+0200},
author = {Laski, Stanley;William},
biburl = {https://www.bibsonomy.org/bibtex/2f7cadbddcae96b2c8db30f45186aed22/refikk},
booktitle = {Software Verification and Analysis},
description = {This book advocates the integrated and tool supported use of all available verification methods to improve software correctness. The following major software verification techniques and their supporting tools, based on sound mathematical models.},
editor = {London, Springer},
interhash = {4d527f5392a7d899dd3a9be09e646a6c},
intrahash = {f7cadbddcae96b2c8db30f45186aed22},
keywords = {Kosaci Program Software Static Testing analysis proving verification wisrep09},
number = {978-1-84882-239-9},
timestamp = {2009-05-19T21:20:48.000+0200},
title = {Software Verification and Analysis},
volume = {XVIII},
year = 2009
}