It is argued that applying formal methods to standards making would result in more accurate, more understandable, and … more useful standards. The main benefit seen in using formal methods in a standard's development and expression is … improving the standard's quality. In the early stages of standards development, formal methods can result in considerable …