pharshid / itc-testing-tools Goto Github PK
View Code? Open in Web Editor NEWThis project forked from andreiarusoaie/itc-testing-tools
This repo contains several scripts that can be used to run several static analysis tools over the ITC-Toyota benchmark.