storiet v.2

theme

voice

language

sign in
Cover of Verification of sequential and concurrent programs

a novel ·

Verification of sequential and concurrent programs

by

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 …

start reading + shelf
  • ● 92% match for you
  • ● science & technology

the long version

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.

M

Margaret's verdict

"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 …"

— Margaret

highlights

what readers held onto

No highlights yet. Be the first.

discussion

what readers said

No reviews yet. Finish it; tell us what you found.