Zeus:Zeus-PVS
From Dependability
Zeus Project | Zeus-Z | Zeus-PVS | Related Sites | Related Publications
Zeus-PVS uses Adobe FrameMaker™ connected to PVS, developed by SRI International, to provide powerful support for specification development using the formal language, PVS.
Through a simple system of menus and special windows, Zeus allows for easy development of both very large and very small specifications. It also has a windows interface to PVS for syntax and type checking, which includes marking of the formal notation text that contain errors. A detailed description of Zeus-PVS can be found by downloading the current version of the Zeus-PVS Manual.