This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. The 21 full and 3 short

Fifty years after the founding of NASA, from 28 to 29 October 2008, the NASA History Division convened a conference whose purpose was a scholarly analysis of NA