next up previous contents
Next: PRECISE Development Up: No Title Previous: Stringent Test Programs

Software Certification and Tools

This activity concentrates on developing a tool, called PRECISE, which employs methods for analyzing models and algorithms that give an indication of the confidence to be placed on the accuracy of algorithms and applications.





Mishi Derakhshan
Wed Apr 23 12:54:57 BST 1997