Next, the talk summarizes current work on extended static checking
with ESC/Java2, particularly with regards to problems with the current
theory and design, and ongoing work to introduce new logics and
calculi for more robust, reliable, and performant ESC using (possibly
multiple) theorem provers.

Finally, the talk discusses how Nijmegen and University College
Dublin can contribute to the goals of GC6 and the Verified Software
Repository, particularly the development of the MOBIUS Interactive
Verification Environment (IVE), as Joe Kiniry leads the
development of the IVE from University College Dublin.