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

Quote:
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.
Source

A Guy
My System SpecsSystem Spec
Reply

Thread Tools Search this Thread
Search this Thread:

Advanced Search


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
Child Proof Windows 7
I would like to know if there is any way to dissable the browse (windows explorer) from starting. Things I have done to mostly child proof my 4 year olds computer. Changed the security settings of the destop so he can't delete /copy icons. Completely stripped taskbar. Moved all Public Desktop...
General Discussion
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 09:17.

Twitter Facebook Google+



Windows 7 Forums

Seven Forums Android App Seven Forums IOS App