Developing Verified Solutions and Versatile Devices with Eric Hilton