A few weeks ago I had the honor of presenting a paper related to my prior Verification Horizons blog posts…