Saturn: A SAT-Based Tool for Bug Detection.

Yichen Xie, Alex Aiken

Browse the full CAV paper archive.