* Formal Methods * Educational Resources

Formal Methods Education Resources

Reading Submission Form

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

This collection covers only introductory readings suitable for courses. General research publications in formal methods should be submitted to more general formal methods repositories. To suggest readings for seminars, we ask that you submit reading lists rather than individual readings.

Title:

Author:

Publication Info:

URL (if on-line):

Type of reading: Survey Article (non-survey) Textbook Lecture Notes

For what type of course is this reading suitable? (check all that apply)
Hardware Verification
Software Verification
Software Modeling/Specification
Software Engineering
Introductory Computer Science
Logic
Other

Course URL (if used in a particular course):

Additional comments on this reading :

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:24:18 EST
Acknowledgements