There's a stack of software verification projects, most probably using Z3, here - http://www.rise4fun.com/