The answer to software reliability concerns may lie in formal methods.Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria From Communications of the ACM | September 2008
Sign In for Full Access
Read CACM in a free mobile app!
Access the latest issue, plus archived issues and more
ACM CACM apps available for iPad, iPhone and iPod Touch, and Android platforms
ACM Digital Library apps available for iOS, Android, and Windows devices
Download an app and sign in to it with your ACM Web Account