List of verification and synthesis tools https://github.com/johnyf/tool_lists/blob/main/verification_synthesis.md #formal #verification