What does the Perfect Developer product consist of?

A Project Manager with a graphical user interface manages the set of files that comprise a project (screen shot here). Multiple build configurations can be defined and settings can be stored to define levels of validation and error reporting. Functions are provided to build the entire project or just changed files. External programs can be invoked during pre- and post-build steps. UML models can be imported from most leading tools.

The Compiler/Validator performs checking, compilation, validation and cross-referencing of one or more source files. Output is generated in C++ or Java to the appropriate standard. Proof files are generated if required.

Integration with some of the best third party editors is provided. For Windows, a copy of Crimson Editor and an evaluation copy of Text Pad 4 are supplied, together with customization files for Multi-Edit 9 and XEmacs. For Linux, we provide customization files for Kate, XEmacs and Vim.

Run-time libraries are provided for both Java and C++, providing support for operating system interface as well as the collection types supported by the languages. The libraries are mostly written in Perfect for reliability.

A number of example programs are provided, enabling you to see and understand how Perfect Developer can be used to produce provably correct software.

The online documentation includes the Language Reference Manual and the User Guide. A tutorial is also available.