For Educators
Formal Methods For Educators For Employers Course Sequence Papers People

 

What are formal methods?

Why would I teach formal methods?

Reasons given by graduates from the curriculum:

Promote better thinking, design, and source code.
Gives students an edge over others in industry.
"Leads to something in academia that is applicable in the real world regardless of consiously or subconciously.  Awesome!"
Enhance students' ability to perform well in any situation.
Facts and figures may never be of use in real life and forgotten quickly, but the ability to analyze difficult problems will be applicable throughout life and always be remembered.
Better programmers, better problem solvers.
Increases critical thinking and logical rigor abilities.

How would I teach formal methods?

See the courses taught in our curriculum
See a paper written on this subject
 

 

formeth@muohio.edu
Miami University Formal Methods Program
Last modified:  08/16/99 11:14:01 AM