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

MSI announces Hetis H81 barebone PC

MSI announces Hetis H81 barebone PC

The Taiwanese MSI has announced the launch of its latest barebone PC – the Hetis H81. As the name of the computer suggests it is based on the latest Intel LGA 1150 socket and comes with support for Intel Haswell processors and more. The idea behind the Hetis H81 is to deliver a thin computer...

Tennis 3D

Tennis 3D

Tennis is one of the most popular and beautiful sports out there but it is not for everyone. You have to be lightweight, fast, strong and young, have talent and more. Do we need to say that not that many people fit this description? Don’t despair! Now you can enjoy tennis to the fullest by...

Maingear releases Torq gaming PC

Maingear releases Torq gaming PC

The US maker of powerful gaming computers Maingear has prepared a new solution for gamers who have too much free time this summer. The new company product is a compact gaming PC and it comes with the Torq brand name. The new gaming PC comes in a cube-based chassis that measures 345 x 273 x...

Leave a comment