Comment by mbrodersen

It’s great to see that proving code correct is starting to make inroads into commercial software development. Perhaps the term “Software Engineer” should be reserved for software developers who have the training/skills to formally prove software correct? The same way that Engineers in other industries have the formal training/skills needed to use mathematical models to build/construct correctly?