2 ms·
There's a stack of software verification projects, most probably using Z3, here - http://www.rise4fun.com/ http://www.rise4fun.com/
by readstoomuch 13y ago
There's a stack of software verification projects, most probably using Z3, here - http://www.rise4fun.com/ http://www.rise4fun.com/