VibeCheck: A formal methods hackathon in SF

fmxai.org

1 pointchaitanyya1 comment

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