CIS 670, Fall 2015: Verified Systems Software
Possible project topics
- A (simple!) verified file system
- A distributed key-value store
- A tiny verified OS
- A tiny verified database
- Build a new network semantics and verified translator in Verdi
- Extend/enrich an existing...
- in-kernel interpreter (JITK)
- verified compiler (CompCert and friends)
- Verify your favorite crypto algorithm or protocol
- etc., etc., etc.
- Also, check out the final projects from
a similar seminar at
- EasyCrypt, etc., etc.