1 points | by chaitanyya 7 hours ago 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.