NIST tool enables more comprehensive tests on high-risk software
Wednesday, April 24, 2019 - 09:20
in Mathematics & Economics
We entrust our lives to software every time we step aboard a high-tech aircraft or modern car. A long-term research effort guided by two researchers at the National Institute of Standards and Technology (NIST) and their collaborators has developed new tools to make this type of safety-critical software even safer.