Much of NASA’s work involves developing floating point software for continuous systems interacting with the real world. Exam- ples include guidance software for spacecraft and aircraft collision avoid- ance software. Many of these systems require some form of continuity in their performance: small changes in inputs should result in small changes to the outputs; exceptions should be known and well understood. Automatic test generation via symbolic execution has been successful in verifying and generating tests for discrete software. Less work has been done on applying these techniques to verification of continuous software. This work applies techniques derived from traditional symbolic execution to the problem of analyzing the continuity properties of software.