1 points | by chaitanyya 24 minutes ago
1 comments
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.