| Conclusion |
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | Praxis
makes money using formal methods |
|||||||||||
| • | Best
to use precise subsets of well-supported |
|||||||||||
| languages |
||||||||||||
| • | Not
ready for full verification, but: |
|||||||||||
| – | High-integrity
community moving in that direction |
|||||||||||
| – | Advancements
in formal methods can be useful for |
|||||||||||
| building
software |
||||||||||||
| • | Make
reasoning about software easier |
|||||||||||
