Verification of sequential and concurrent programs

by Krzysztof R. Apt

2009 502 pages eng

This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nondeterministic sequential programs of varying complexity, together with both parallel and distributed co…