* Formal Methods * Educational Resources

Formal Methods Education Resources

Educational Tool Submission Form

Main Page | Courses | Examples | Readings | Position Papers | Instructional Materials | Tools | Jobs | Submit


Please submit only tools that have been successfully used in a course setting. Tools oriented to research only should be submitted to other formal methods repositories.

Tool Name:

Tool Web Page URL:

Please classify the tool:

Name of Course in which tool has been used:

Course Instructor:

Course Web Page URL:

Additional comments to include with tool listing:

Email address of submitter (required - please double check before submitting):


This site is currently maintained by Kathi Fisler
Department of Computer Science, Worcester Polytechnic Institute
Last updated on Saturday, 05-Jul-2003 21:39:34 EST
Acknowledgements