Verification of software changes with ExpliSAT

Hana Chockler, Sitvanit Ruah. Verification of software changes with ExpliSAT. In Michael Wahler, Danny Dig, editors, 4th International Workshop on Hot Topics in Software Upgrades, HotSWUp 2012, Zurich, Switzerland, June 3, 2012. pages 31-35, IEEE, 2012. [doi]

Abstract

Abstract is missing.