Since we have so much information on our website to share with our clients, we figured the least we could do is point you in the right direction. So why don't we start with the basics.

If you have purchased our software and aren't familiar with MOSES, you need to get familiar with it!! The first step in doing this is by reading How to cope with MOSES. In this section you will find a basic overview of how MOSES works, and how to view problems the way MOSES does. This is purely background information. We also have other sources for this type of information, such as

• a Theory Manual
• and a Verification Manual for MOSES

Some where along the way, you will need information in the reference manual. You probably were sent a hard copy, but, if not, you can print one. This document is also available "on line" for browsing. Don't worry about looking at it or printing it now, but you can access it by by clicking here.

The next thing to do is to find out how to actually run the software. This link will lead you through a simple example and what happens. Before you actually do anything, take a moment to look at the MOSES Help Desk. This is designed to be a gateway to all of the information we have to help you. All of this is important information, but for someone new, please take a look at

• Useful Tools and
• How to Do

Good Luck:

Return to the Ultramarine Home Page