P415/p

§P415 Project Ideas

See the Project Guidelines a general discussion about P415/P515 projects. This is a list of project ideas and suggestions. Included in the list are "default" project suggestions for P415 students, which are projects that have proven to be of about the right level and degree of challenge for this class. However, even these projects leave open opportunities for variations and extensions.

More ideas will be added as I develop them---SDJ

Standard P415/P515 Projects
Search trees
Sorting algorithms includes a P515 variation.
Array reversal Recommended for P515.
P515 Challenges
The Thread Game [due to Moore].
Implement interactive, higher-order model checking as a PVS THEORY and do some "interesting" examples.
Computer arithmetic.
The Hare and Tortoise algorithm
Garbage collection.

Standard P415/P515 Projects
Search trees
Sorting algorithms includes a P515 variation.
Array reversal Recommended for P515.
P515 Challenges
The Thread Game [due to Moore].
Implement interactive, higher-order model checking as a PVS `THEORY` and do some "interesting" examples.
Computer arithmetic.
The Hare and Tortoise algorithm
Garbage collection.