Perfect Developer

Perfect Developer is a formal methods tool for developing computer programs in a rigorous manner. It uses an object-oriented style, targetting at programming languages like Java programming language and C plus plus. It has been developed by the United Kingdom company Escher Technologies .

=External links=

*[http://www.eschertech.com/products/ Perfect Developer] *[http://www.eschertech.com/ Escher Technologies]