2024
Global guidance for local generalization in model checking.
Formal Methods Syst. Des., October, 2024