Seol mar théacs é seo: Verifying critical cyber-physical systems after deployment