Ask HN: Can the Dawn Project make critical software secure?

The Dawn Ptoject (https://dawnproject.com/) had a commercial during the Super Bowl criticizing Tesla's full self driving. Reading their about page they claim that the methods used in defense contracting software can be used to make civilian mission critical software secure and bug free. Is this legit ? Would be interested in comments from those who have experience in mission critical systems and methods promoted by the Dawn Project.