Գրեք սա: NASA formal methods :