PPT Presents Paper at Second NASA Formal Methods Symposium

PPT Solutions, Inc., (PPT)’s Chief Engineer, Greg Turgeon, presented a paper at the Second NASA Formal Methods Symposium held from 13 April – 15 April 2010. The paper was titled “Feasibility Study for Software Safety Requirements Analysis Using Model Checking.” Ms. Petra Price was co-author and one of the primary researchers on the paper. The paper presented the findings of the second phase of a study to determine the effectiveness of model checking at finding safety-critical errors and other defects in a baseline set of software requirements. This study demonstrated that formal methods are cost effective at findings such defects and can reduce project costs and schedule by removing software requirements defects early in the software lifecycle.