Windows 7 Forums
Welcome to Windows 7 Forums. Our forum is dedicated to helping you find support and solutions for any problems regarding your Windows 7 PC be it Dell, HP, Acer, Asus or a custom build. We also provide an extensive Windows 7 tutorial section that covers a wide range of tips and tricks.

Windows 7: The proof is in the testing...

01 Mar 2015   #1
A Guy

Microsoft Community Contributor Award Recipient

Windows 7 Home Premium x64 SP1
The proof is in the testing...

The proof is in the testing: The Swiss breakthrough that will make software more reliable

The size and complexity of today's software programs can make it difficult to check their likely reliability.

Testing only goes so far: often after applications are released, it's a wait-and-see strategy, with developers sending out patches for products if and when major problems become evident.

Two computer scientists at the Swiss Federal Institute of Technology (École Polytechnique Fédérale de Lausanne or EPFL) hope to change that - using automated reasoning tools to replace validating software through testing with more accurate formal mathematical proofs.

While verification tools have developed significantly over the years, one stumbling block has been support for proofs that use mathematical induction.

A Guy
My System SpecsSystem Spec

Thread Tools

Similar help and support threads
Thread Forum
Proof of early wireless
Last year British archeologists found traces of copper wire when digging holes of 10 ft around London and concluded that GB had a telephone network operating 150 years ago. Some months later American archeologists who dug holes around Boston found traces of copper wire at a depth of 20 ft and...
Chillout Room
Proof of winter coming
this pic was taken at 10:30 am+- Aug 31 2010 fresh snow last night:what:
Chillout Room
Proof: Windows 7 Better than Vista
Chillout Room

Our Sites

Site Links

About Us

Find Us

Windows 7 Forums is an independent web site and has not been authorized, sponsored, or otherwise approved by Microsoft Corporation. "Windows 7" and related materials are trademarks of Microsoft Corp.

© Designer Media Ltd

All times are GMT -5. The time now is 17:53.
Twitter Facebook Google+ Seven Forums iOS App Seven Forums Android App