Theorem proving in a software development

We have been aiming to apply theorem proving techniques to the real-world software development.

The verification of the middleware of iZE Smart Desktop Client

This work is presented at TPP’10: 6th Theorem Proving and Provers Meeting. Slides are here (tpp10-imai.pdf pdf ).