Keyword:Witness

Publications
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse Chuan Jiang and Gianfranco Ciardo In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning