Computer Aided Verification¶

Josh Berdine, C. C., Cook, B., Distefano, D., o'Hearn, P. W., & Wies, T. (2007). Computer Aided Verification.

Type: Unclassified
Intellectual base: Unclassified
Year: 2007
DOI: 10.1007/978-3-540-73368-3_22
Link: https://doi.org/10.1007/978-3-540-73368-3_22

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Shape analysis (program analysis)
- The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

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:bce21933e36f · see in the full table