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

Corsair Dominator GT is the fastest Intel XMP-certified memory

Corsair, a worldwide leader in high performance computer and flash memory products, today announced that the 6GB Dominator GT 2000MHz CAS 8 has passed Intel's XMP-Ready certification for Core i7 Extreme Edition processors, making it the fastest memory kit to gain Intel's stamp of...

ASRock plans Taichi motherboard for Broadwell-E

ASRock plans Taichi motherboard for Broadwell-E

ASRock has become the latest company to work on a new X99-based motherboard for the upcoming Intel Broadwell-E CPU generation. The new board will carry the rather strange Taichi word in its product name but this does not mean that this board will be something less than what competitors have to...

Linksys releases EA7500 Gigabit Wi-Fi router

Linksys releases EA7500 Gigabit Wi-Fi router

The well-known maker of network devices and peripherals Linksys has launched a new Max-Stream AC1900 MU-MIMO Gigabit Wi-Fi router, called EA7500. The main feature of the EA7500 is that it features next-gen Wi-Fi 802.11ac Wave 2 with MU-MIMO technology, which allows users to enjoy...

Leave a comment