Integration and Testing of Safety Case Tool Support

under Grant No. 0952013. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the S.D. Bechtel, Jr. Foundation or the National Science Foundation. This project has also been made possible with support of the National Marine Sanctuary Foundation. The STAR program is administered by the Cal Poly Center for Excellence in Science and Mathematics Education (CESaME) on behalf of the California State University (CSU). www.nasa.gov National Aeronautics and Space Administration