×
2024
Global guidance for local generalization in model checking.
[DOI]
Hari Govind Vediramana Krishnan
,
YuTing Chen
,
Sharon Shoham
,
Arie Gurfinkel
Formal Methods Syst. Des., October, 2024