Tag Archives: quotations

Z3 Mono Starter

[This blog was moved here] Have you ever thought how exciting verification tools are? How do you prove the correctness of a program? Of course, the green tests bring some confidence... but we all know it's not a proof. Just look at ...