Avoiding the Shoals - A New Approach to Liveness Checking.

Yechuan Xia, Alessandro Cimatti, Alberto Griggio, Jianwen Li

Browse the full CAV paper archive.