Identi.ca
Login
Shakthi Kannan
at
2021-10-20T12:44:22Z
List of verification and synthesis tools
https://github.com/johnyf/tool_lists/blob/main/verification_synthesis.md
#formal #verification