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 support for Broadwell on its Z97 and H97 boards

MSI announces support for Broadwell on its Z97 and H97 boards

On the PC front this year’s Computex 2015 was mostly about Intel’s upcoming Skylake processors and the new LGA 1151 platform, which already has its first motherboards. Yet, there’s one more chip that will likely sink into oblivion soon – we are talking about Broadwell, which brings 14 nm...

Broadwell-E might be more expensive than initially expected

Broadwell-E might be more expensive than initially expected

One of the things that year 2016 will bring upon us is the new Broadwell-E CPU family, which we reported on a while ago. The family will come with four chips inside with the Core i7-6950X being the first Intel desktop processor with 10 cores inside. The chip will run at 3 GHz and will pack 25 MB...

Corsair shows high-end DDR4 memory

Corsair shows high-end DDR4 memory

The famous memory maker Corsair has announced new high-end DDR4 memory for all hardware enthusiasts out there. The new memory can be used with the upcoming Haswell-E chips and arrives as two lines – Vengeance LPX and Dominator Platinum. The memory can be used in all Intel X99-based motherboards...

Leave a comment