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

Lenovo introduced ThinkPad X100e ultraportable laptop

Lenovo today announced the ThinkPad X100e, the company’s first professional-grade ultraportable laptop starting below $500. The introduction pioneers a new category of PCs for today’s business users that blends professional performance, usability and design with new color options, such as...

Yes, Hawaii GPU does not use all its resources

Yes, Hawaii GPU does not use all its resources

The information that we published yesterday claiming that the AMD Hawaii chip does not use all of its computational resources has been confirmed. It turns out now that the AMD Radeon R9 290X GPU has 48 computational units that are equal to 3072 stream processors and 192 texture mapping units...

NVIDIA to release GM204 GPU this year

NVIDIA to release GM204 GPU this year

Fans of 3D games will soon have a new toy to play with – NVIDIA plans to release the next generation GM204 Maxwell chip by the end of the year. The upcoming chip will be very important for NVIDIA as it will retire the current GK104 processor and will be later used in a variety of NVIDIA-based...

Leave a comment