Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments
Author :
Publisher : Springer Science & Business Media
Total Pages : 566
Release :
ISBN-10 : 9783540691471
ISBN-13 : 3540691472
Rating : 4/5 (71 Downloads)

Book Synopsis Verified Software: Theories, Tools, Experiments by : Bertrand Meyer

Download or read book Verified Software: Theories, Tools, Experiments written by Bertrand Meyer and published by Springer Science & Business Media. This book was released on 2008-07-07 with total page 566 pages. Available in PDF, EPUB and Kindle. Book excerpt: A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King’s 1969 thesis on “A program verifier. ” What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development—proceeding more slowly, alas, than the other two trends—of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most distinguished contributors to these advances over the past four decades, came to the conclusion that piecemeal efforts are no longer sufficient and proposed a “Grand Challenge” intended to achieve, over 15 years, the production of a verifying compiler: a tool that while processing programs would also guarantee their adherence to specified properties of correctness, robustness, safety, security and other desirable properties. As Hoare sees it, this endeavor is not a mere research project, as might normally be carried out by one team or a small consortium of teams, but a momentous endeavor, comparable in its scope to the successful mission to send a man to the moon or to the sequencing of the human genome.


Verified Software: Theories, Tools, Experiments Related Books

Verified Software: Theories, Tools, Experiments
Language: en
Pages: 566
Authors: Bertrand Meyer
Categories: Computers
Type: BOOK - Published: 2008-07-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even Jam
Verified Software: Theorie, Tools, Experiments
Language: en
Pages: 358
Authors: Ernie Cohen
Categories: Computers
Type: BOOK - Published: 2014-01-15 - Publisher: Springer

DOWNLOAD EBOOK

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Exper
Verified Software: Theories, Tools, Experiments
Language: en
Pages: 336
Authors: Rajeev Joshi
Categories: Computers
Type: BOOK - Published: 2012-01-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphi
Verified Software: Theories, Tools, Experiments
Language: en
Pages: 274
Authors: Natarajan Shankar
Categories: Computers
Type: BOOK - Published: 2008-09-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canad
Verified Software: Theories, Tools, Experiments
Language: en
Pages: 225
Authors: Gary T. Leavens
Categories: Computers
Type: BOOK - Published: 2010-08-12 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK,