IEEE Computer Society - To Verification Infinity and Beyond

Author(s): Scott Davidson
Publisher: IEEE Computer Society
Publication Date: 1 October 2017
Volume: 34
Page(s): 104
ISSN (Electronic): 2168-2364
ISSN (Paper): 2168-2356
DOI: 10.1109/MDAT.2017.2728042

When I worked for AT&T over 20 years ago, we knew that, if we messed up, the results could get onto the front page of the New York Times. This was not hyperbole; someone made a tiny change to... View More