The following pages link to (Q3034806):
Displaying 4 items.
- Using induction and rewriting to verify and complete parameterized specifications (Q672051) (← links)
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Proofs in parameterized specifications (Q5055758) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)
