Using Formal Methods in Computer Science

Projects

• TeachLogic Project (Rice University)
• Beseme Project (University of Oklahoma)

Courses

• Effectiveness of Logic in Computer Science (Moshe Vardi, Rice University)
• Logic in Computer Science (Moshe Vardi, Rice University)
• Miami University Formal Methods Program
• Foundations of Computer Science (Butler University)
• Repository of Formal Methods Courses and Information

Related Math Sites

• Integrating Mathematical Reasoning into Computer Science Curricula
• Metamath.org
• Center for Discrete Math and Theoretical Computer Science

Beseme Home - Resource Login - Request Login Account - Resource Preview - About Beseme
University of Oklahoma - School of Computer Science