Efficient SAT-Based Bounded Model Checking of Evolving Systems. - Sophie Andrews; Matthew Sotoudeh; Clark W. Barrett (DATE, 2025)