Veil: A Framework for Automated and Interactive Verification of Transition Systems.

George Prlea, Vladimir Gladshtein, Elad Kinsbruner, Qiyuan Zhao, Ilya Sergey

Browse the full CAV paper archive.