List of verification and synthesis tools focused on C and C++github.com/johnyf3 pointsDavidbrcz10 years ago