Title: Verification of sequential and concurrent programs
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.
Subjects: Verification, Computer software, Logic design, Computer science, Computer software, verification