SAN FRANCISCO — After implementing a C/C++ library that provides a basic verification system at three companies where he worked, Mike Mintz decided that there had to be a better way. So Mintz started ...