Mariposa: Measuring SMT Instability in Automated Program Verification.

Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno

Browse the full FMCAD paper archive.