Overview

• About
• People
• Funding
• Sourceforge

Sub-Projects

• SpEx-JML

Documentation

• Papers
• More

Support

• Forums
• Bugs/Feature Requests
• Mailing Lists

SpEx is funded by:

• ARO CIP/SW URI award DAAD190110564
• DARPA/AFRL project AFRL-F33615-00-C-3044
• NSF SEL Program under award CCR-0306607