CSE Thesis Topics
Sorted by Supervisor name. If you want to sort it differently, click on the heading of the field you want to sort by.
Click on the topic title to get more details about that topic.
5 records found.
|No||738||Verifying the core of standard C library in Isabelle/HOL||Gerwin Klein||Research|
|No||3080||A Foundational model of the ARM11 Memory Management Unit||Gerwin Klein||Research|
|No||3087||Isabelle Hackage||Gerwin Klein||R & D|
|No||3212||Test vs Proof: The Showdown||Gerwin Klein||R & D|
|3350||Separation Logic for OS Specifications||Gerwin Klein||R & D|