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

Intel unveils first PCI-E based solid-state drives

The world’s largest chipmaker unveiled the Intel 910 series of solid-state drives that are compatible with the PCI-E bus infrastructure and are designed to provide extreme performance, endurance and reliability for rigorous data center demands. Based on Intel multi-level cell NAND flash...

Intel introduces embedded Skylake lineup

Intel introduces embedded Skylake lineup

After introducing a large number of desktop and notebook Skylake processors Intel has announced the first Skylake SKUs that are designed for industrial use. The new CPU line includes dual-core and quad-core models that are named Pentium G4400TE, Core i3-6100TE, Core i5-6500TE and Core i7-6700TE...

Huawei to release 8-core smartphone

The Chinese Huawei has plans to release a new 8-core smartphone, known as Ascend P6S. The device will measure 132.7 x 65.5 x 6.5 mm and will weigh 120 grams. The Ascend P6S will be based on a fast 8-core MediaTek MT6592 processor at 2 GHz. There is also a 4.7-inch IPS display at 720p...

Leave a comment