Change title (need a better one) and add MEng bit
Lit review: verification & verification by proof