What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

NASA Formal Methods (NFM)

A conference, workshop or journal: the thing that recurs, across all its years.

NASA's formal methods symposium, on techniques with a path into safety-critical practice — aerospace software, autonomy, and the verification of systems whose failure is not recoverable.