The usable formal methods hackathon. Build a piece of real-world production software, and formally verify it.