Swiss scientists to make software more reliable

Swiss scientists to make software more reliable

If you look back in the past you will easily see a clear trend in software development – programs get more and more complex over time. While this is a good thing for most people around the world, this scenario is definitely a nightmare for software developing companies as they have to fight more and more software bugs on a daily basis. This causes problems for both software developers and users and while there are various tools to help, a new solution is clearly needed.

Help seems to come from the tiny and beautiful country of Switzerland – two computer scientists at the Swiss Federal Institute of Technology (École Polytechnique Fédérale de Lausanne or EPFL) have developed a concept that uses mathematical proofs. More specifically a reliability proof will be achieved through improving inductive reasoning in Satisfiability Modulo Theories (SMT) solvers. These solvers are next-generation verification programs for software and by making them better through adding the ability to perform automated mathematical induction they will be able to solve more problems in software and hardware verification. This in turn will make software programs more reliable and with fewer bugs.

There is no information on when the new technology will become widely available but if everything goes well we should see the new technology in use in the next few years.

Source: Zdnet.com

Related posts

Dell announces a range of Windows 8-ready PCs

Dell has been the latest company to unveil a new range of Windows 8-ready PCs that will take Dell’s customers into the new Windows 8 computing realm. The US company has announced the Dell XPS 12 convertible laptop, the Dell XPS One 27 AIO and the Dell Inspiron One 23 AIO. Finally here we...

Thermalright works on AXP-200 CPU cooler

Cooler maker Thermalright has decided to create a bigger sibling of the AXP-100 CPU cooler. Not surprisingly the new company product will be known as AXP-200. The new CPU cooler will be similar to the original AXP-100 but will be a bit bigger measuring 153 x 140 x 60 mm and weighing 475...

Toshiba Unveils Satellite Pro U500, L450, L550, Portege M750 and R600 Laptops

Toshiba's Digital Products Division (DPD), a division of Toshiba America Information Systems, Inc., today announced the availability of its new line of Satellite Pro®, Tecra® and Portégé® business laptops with Windows® 7 support. The Satellite Pro line features new screen size options in...

Leave a comment