ACSAR

MaRDI QIDQ15223swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-540-73370-6_19

Cited in

(3)

• Abstraction Refinement for Quantified Array Assertions
• An assume guarantee approach for checking quantified array assertions
• A Lightweight Approach for Loop Summarization

This page was built for software: ACSAR