* Formal Methods * Educational Resources

Formal Methods Education Resources

Course Information Submission Form

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


Course Title:

Course URL:

Course Developed/Taught By:

Developer/Instructor's URL:

Institution Course Offered At:

In what department is the course offered? (Select all that apply)

Computer Science
Computer or Electrical Engineering
Mathematics
Other

What areas does the course cover? (Select all that apply)

Hardware Verification
Software Verification
Software Modeling/Specification
Software Engineering
Introductory Computer Science
Logic
Other

What level is the course? (Select all that apply)

Undergraduate
Graduate
Other

What format is the course? (Select all that apply)

Lecture
Laboratory
Seminar
Other

What text (if any) is used in the course?

What software tools (if any) are used in the course?

ACL2
Alloy
Bandera
HOL
JPF (Java PathFinder)
Murphi
PVS
SMV
SPIN
VIS
Other

What materials are available on the course web page? (Select all that apply)

Lecture Notes
Handouts
Assignments
Examples
Projects
Other

Additional comments to include with course 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:22:13 EST
Acknowledgements