Day 1 : NASA Formal Methods Symposium