mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic.

James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham

Browse the full CAV paper archive.