Doomed program points
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1612488 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 1982210 (Why is no real title available?)
- scientific article; zbMATH DE number 868107 (Why is no real title available?)
- scientific article; zbMATH DE number 3410595 (Why is no real title available?)
- A fast algorithm for finding dominators in a flowgraph
- Avoiding exponential explosion: generating compact verification conditions
- Compositional may-must program analysis: unleashing the power of alternation
- Computer Aided Verification
- Computer Science Logic
- Efficient weakest preconditions
- On the Notion of Vacuous Truth
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification of Array, Record, and Pointer Operations in Pascal
This page was built for publication: Doomed program points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q633286)