Global guidance for local generalization in model checkingHari Govind V K, Arie Gurfinkel|Formal Methods in System Design|2023Cited by 6