In the late 60s, Bob Floyd and Tony Hoare discovered the concept of program correctness. Some people initially working on program correctness thought that, in the future, everyone would prove that their programs were correct. Programming errors would then disappear. They soon learned how naive that hope was. Floyd and Hoare showed that they could, in principle, do this. But in practice, it turned out to be very hard. Today, everyone knows that verification is economically feasible only in a small number of applications - mainly, for fairly small programs that perform life-critical functions. Verification techniques are being used successfully to help debug programs, at Microsoft and elsewhere. But actually proving the correctness of a program is rarely done.
Did you find this white paper useful?
18 out of 50 users found this white paper useful
Related white papers
Live Webcast: Telecoms 2.0 - Where is telecoms heading?
Telecoms 2.0 - Where is telecoms heading? UK telecoms is at a crossroads. IT managers face new demands to enable flexible working, deliver converged networks and provide support for multiple applications...
IDC reports on Novell's Secure Desktop Solution: A Modern-Day Marriage of Business Benefit and Risk Reduction
The increasing mobility of the modern workforce and the competitive requirement to optimise that workforce with mobile communications has greatly increased the complexity of IT security. This IDC whitepaper examines...
Green IT: Reducing your Carbon Footprint with Citrix
Going green has become an imperative, not an option, for companies facing the new reality of balancing business objectives with dwindling environmental resources. Limited energy supply and skyrocketing costs are...
Does 802.11n deliver better wireless services for Enterprises?
Watch our on demand 802.11n webinar to discover how HiPath Wireless 802.11n from Siemens Enterprise Communication has solved the traditional technology challenges associated with higher power access points and controllers....
Farpoint Group report - 802.11n Access Points and POE: Key considerations
In this 5 page report, you'll discover more about the key technical considerations when making the move to 802.11n. The report provides: * An overview of PoE ...
Practical Considerations for Deploying 802.11n
Download this White Paper from Siemens Enterprise Communications to demystify the current confusion surrounding the new 802.11n WiFi standard.Find out more about the key issues when considering a move to...
Protecting virtual macchines: the "best of Vmworld" approach
By enabling IT managers to move virtual machines (and the applications they host) between physical servers, server virtualization gives them a powerful method for reducing planned downtime and speeding recovery....
