Lots of formal methods and verification submissions this week!