10.1007/978-1-84882-745-5¶

Apt, K. R., de Boer, F. S., & Olderog, E. (2009). 10.1007/978-1-84882-745-5. Verification of Sequential and Concurrent Programs.

Type: Book
Intellectual base: Review or monograph
Year: 2009
DOI: 10.1007/978-1-84882-745-5
ISBN: 9781848827448
Link: https://doi.org/10.1007/978-1-84882-745-5

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Hoare Logic
- Modern systematic presentations extend the sequential rules to procedures, recursion, nondeterminism, and interference-aware concurrent proof systems while preserving the assertion–command–assertion core.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:ab89855175b0 · see in the full table