The Non-NASA applications are much the same. Not all companies produce software that is as safety critical as NASA, but even those that do not will benefit from the ability to rigorously test formal safety policies in pre-production software, and guarantee safety in production software. Predictive runtime analysis only becomes more important as commercial software adapts to the massively multi-core future. The software developed by NASA is particularly safety critical. Our tool will allow NASA not only to test the safety of pre-production software, but also to guarantee safety of portions of software systems at runtime. The addition of predictive runtime analysis will allow NASA to easily find safety violations in multi-threaded programs.