Գրեք սա: NASA formal methods: