


default search action
"Veil: A Framework for Automated and Interactive Verification of Transition ..."
George Pîrlea et al. (2025)
- George Pîrlea, Vladimir Gladshtein
, Elad Kinsbruner
, Qiyuan Zhao
, Ilya Sergey
:
Veil: A Framework for Automated and Interactive Verification of Transition Systems. CAV (3) 2025: 26-41

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.