Efficient SAT-Based Bounded Model Checking of Evolving Systems - Andrews, Sophie; Sotoudeh, Matthew; Barrett, Clark (2025 Design, Automation & Test in Europe Conference (DATE), Design, Automation & Test in Europe Conference (DATE), 2025, 2025)