VibeCheck: A formal methods hackathon in SF
fmxai.org
1 thread
The usable formal methods hackathon. Build a piece of real-world production software, and formally verify it.
The usable formal methods hackathon. Build a piece of real-world production software, and formally verify it.