Pages that link to "Item:Q5464711"
From MaRDI portal
The following pages link to Artificial Intelligence and Symbolic Computation (Q5464711):
Displaying 9 items.
- Putting the squeeze on array programs: loop verification via inductive rank reduction (Q784119) (← links)
- Cell morphing: from array programs to array-free Horn clauses (Q1664399) (← links)
- Theory refinement for program verification (Q1680264) (← links)
- Scaling bounded model checking by transforming programs with arrays (Q2409744) (← links)
- Simplifying the Verification of Quantified Array Assertions via Code Transformation (Q2848907) (← links)
- Distributing the workload in a lazy theorem-prover (Q2870323) (← links)
- Verifying Array Programs by Transforming Verification Conditions (Q2938066) (← links)
- (Q2963878) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709375) (← links)