THOR: A Tool for Reasoning about Shape and Arithmetic.

Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay

Browse the full CAV paper archive.