Not enough checkers in the universe

The recent VW emissions scandal has led many to suggest that such software should be open source to prevent car makers getting away with this sort of thing.