Axe 'Em: Eliminating Spurious States with Induction Axioms.
Proc. ACM Program. Lang., 2025
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification.
Proc. ACM Program. Lang., January, 2024
Summing up Smart Transitions.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021