TY - CHAP T1 - Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach T2 - Proceedings of the NASA Langley Formal Methods Workshop PY - 2000/01/01 AU - Burton S AU - Clark JA AU - Galloway A AU - McDermid JA ED - Y2 - 2025/05/21 ER -