Having full control over your documents at any moment is crucial to ease your day-to-day tasks and enhance your productivity. Accomplish any objective with DocHub features for papers management and hassle-free PDF editing. Gain access, change and save and integrate your workflows along with other safe cloud storage services.
DocHub offers you lossless editing, the possibility to work with any formatting, and securely eSign documents without the need of searching for a third-party eSignature option. Get the most of the file managing solutions in one place. Check out all DocHub capabilities right now with your free account.
welcome everyone what im going to do is introduce stamp and talk about some of the background to all of this i started off got involved in safety i had i got my phd actually in computer science and in formal methods and very beautiful math but very impractical and um i got a call after my in my one week after i started my first position uh at a university and somebody called me about they were building this torpedo system this was 1980 so it was 40 years ago and they werent so concerned it missed the other guy they were concerned it came back hit them and thought they thought this was a software safety problem and i didnt know anything about it um but they they begged me to help i said i didnt know how to help them um they said well thats okay well teach you what you need to know nobody else will talk to us uh we tried everyone else around and and youre the our last hope so i said well sure ill ill try um and i dont think i helped them very much but they they were these were