This category contains information about programs, organizations and working groups that are involved with formal methods.
FERMAT - FERMAT (Formal Engineering Research with Models, Abstraction and Transformation) is a lab run by Dr. Shukla, whose mission is to apply Formal Methods and Formal Verification Techniques in various areas of Systems Design and Embedded Systems.
Strategic Directions in Computing Research Formal Methods Working Group - Strategic Directions in Computing Research was funded by the Association for Computing Machinery with support from the National Science Foundation and the Office of Naval Research, and was cosponsored by the Computing Research Association. The meeting was hosted by the MIT Laboratory for Computer Science. The group report, Formal Methods: State of the Art and Future Directions, and links to members of the group are available on this page.
DACS Gold Practice Initiative
