MEng project on verified garbage collection (WIP)