Title: Second NASA Formal Methods Workshop, 1992