Uncharted Waters:

Verification


June 14, 2016  9:53 PM

The DeepSpec Workshop

Justin Rohrman Justin Rohrman Profile: Justin Rohrman
Verification

In January I read a news report about the DeepSpec project that is being developed by a few universities through a NSF grant. The press release had some bold claims, specifically that this project might be the answer to many people's dream of bug free software. I had as

Forgot Password

No problem! Submit your e-mail address below. We'll send you an e-mail containing your password.

Your password has been sent to: