List of verification and synthesis tools focused on C and C++github.com3 points·Davidbrcz··0 commentsOpen articleSaveView on HN