The following pages link to (Q4723280):
Displaying 5 items.
- Inductive expansion: A calculus for verifying and synthesizing functional and logic programs (Q757077) (← links)
- Multilevel structured program designs and correctness proving (Q1910975) (← links)
- A learning-based approach to synthesizing invariants for incomplete verification engines (Q2208307) (← links)
- Relationship of program correctness checking methods (Q3033305) (← links)
- (Q3722485) (← links)