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

Micron debuts gamer-oriented notebook memory

US memory maker Micron has come up with an interesting offer – gamer-oriented notebook memory that offers speed, lower power consumption and nice latencies. The new memory belongs to the company’s Crucial Ballistix Sport line and comes in SODIMM form factor. Offering the...

ASUS ROG ENGTX260 MATRIX Features Automatic and Independent Speed Control for Dual Fansink to Deliver Extreme, Intuitive Cooling

ASUS, the world’s leading producer of top-quality graphics solutions, today launched the ASUS Republic of Gamers (ROG) ENGTX260 MATRIX/HTDI/896MD3 graphics card. This innovative piece of hardware comes equipped with the upgraded dual fansink Hybrid Cooler+ for automatic and independent fan...

Lenovo to start sales of 14-inch ThinkPad X1 Carbon Touch ultrabook soon

Lenovo will start the sales of a 14-inch version of its ThinkPad X1 Carbon Touch ultrabook very soon. The device, which is a smaller version of the already launched ThinkPad X1 Carbon Touch ultrabook, will sell for USD 1400, which is USD 150 cheaper than what the regular model costs...

Leave a comment