Zeus
From Dependability
Zeus Project | Zeus-Z | Zeus-PVS | Related Sites | Related Publications
A Research Project In Formal Methods
Goal
Bridge the Gap between Formal Methods Theory and Industrial Practice
Research Areas
- Tool Support for Formal Specification
- Linguistic Analysis of Natural Language
- Practical Process for Industrial Adoption and Use of Formal Methods
Description
Zeus is a toolset that is being developed as part of a research project at the University of Virginia. The goal of the project is to help understand the relative lack of use of formal techniques in commercial software development. It is our hypothesis that one of the reasons for this lack of use is the lack of support tools.
The Zeus toolset contains two separate modules, one for using Z and one for using PVS. The Z module is still referred to as Zeus, but is also called Zeus-Z to distinguish it from the one for PVS, Zeus-PVS.