The following pages link to Verification: Theory and Practice (Q5305644):
Displayed 5 items.
- Program verification: state of the art, problems, and results. I (Q466416) (← links)
- The octagon abstract domain (Q853733) (← links)
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- A Scalable Segmented Decision Tree Abstract Domain (Q3587252) (← links)