ORA Canada

ORA Canada
Home
Contact us
What's new?
Products and services
Z/EVES
    Documentation
    Screen shots
EVES
Ada'95
Reports and Collections
ORA Canada
Bibliography
Automated Deduction
Bibliography

Z/EVES screen shots


The main specification window shows the typeset form of the specification, and a status indicator showing which paragraphs are typechecked, which have errors, and which are unchecked. If a paragraph has an associated proof obligation, a second status bar shows whether it has been discharged.

This picture shows the specification window, with three typechecked paragraphs followed by an unchecked schema box:

The GUI's specification window

This picture shows the editor window, which provides buttons and keyboard shortcuts for the Z symbols:

The GUI's editor window


URL: http://www.oracanada.com/z-eves/screenshots.html
Revised: July 12, 2000