Skip to main content
Department of Information Technology

Provably Correct Software, Autumn -13

A selection of previous student projects

Code lock system
Web store
Bus service database
Calculator
Balanced binary search trees (the mathematical reasoning about the balancing condition was very difficult)
Student data base
Tic-tac-toe
Text formatter (the specification was difficult to get right)
Pipelined microprocessor architecture (very ambitious but turned out well)
Cellular automata/Game of Life
Lift controller

Some project suggestions

Online reservation system with multiple clients properly handling database locking.

Updated  2013-10-28 09:49:54 by Lars-Henrik Eriksson.