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
).