Sign In

Communications of the ACM

Recent Opinion


Articles Interviews Vardi's Insights Opinion Archive Refine your search:
datePast Year
subjectSoftware
authorThe Brooking Institution

Formal Methods as a Path to Better Cybersecurity
From ACM Opinion

Formal Methods as a Path to Better Cybersecurity

Any piece of software should be able to provide the desired features, and when errors do occur, the software should handle them gracefully.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account