Software Verification and Analysis: An Integrated, Hands-On Approach

by ,

Write The First Customer Review

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.