The following pages link to Verification: Theory and Practice (Q5305644):
Displaying 14 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)
- Correctness kernels of abstract interpretations (Q2252528) (← links)
- Abstract interpretation as automated deduction (Q2360874) (← links)
- (Q2769580) (← links)
- A Scalable Segmented Decision Tree Abstract Domain (Q3587252) (← links)
- Verification of meta-interpreters (Q4340422) (← links)
- (Q4414380) (← links)
- Reuse in Software Verification by Abstract Method Calls (Q4928448) (← links)
- (Q4997232) (← links)
- Structural Abstraction of Software Verification Conditions (Q5429330) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900551) (← links)