Verification of sequential and concurrent programs

By Krzysztof R. Apt

Subjects: Computer software, Verification, Computer software, verification, Computer science, Logic design

Description: 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 concurrent programs.