This category contains information about standards, policies and procedures relating to Formal Methods topics.
IEEE Computer Society Standards Activities Board (SAB) - The objective of the Standards Activities Board (SAB) is "to provide an organizational framework and conducive environment within which to develop broadly accepted, sound, timely, and technically excellent standards that will advance the theory and practice of computing and information processing science and technology."
DACS Gold Practice Initiative
