Detecting Non-cyclicity by Abstract Compilation into Boolean Functions.

Stefano Rossignoli, Fausto Spoto

Browse the full VMCAI paper archive.