But the underlying concept is a leap forward for software verification. (newscientist.com)
Hermanns is convinced that «if we succeed in making automatic software verification an industry standard, we will no longer have to go through things like the diesel scandal.» (sciencedaily.com)