Verification of Sequential and Concurrent Programs |
|
| Author:
| Springer,
Apt, Krzysztof R.
Olderog, Ernst-Rüdiger
de Boer, Frank S. |
| Foreword by:
| Pnueli, Amir |
| Series title: | Texts in Computer Science Ser. |
| ISBN: | 978-1-4471-2513-6 |
| Publication Date: | Mar 2012 |
| Publisher: | Springer London, Limited
|
| Imprint: | Springer |
| Book Format: | Paperback |
| List Price: | USD $89.99 |
Book Description:
|
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.