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

Bubble Witch 2 Saga

Bubble Witch 2 Saga

If you are familiar with Candy Crush Saga then you already know where Bubble Witch 2 Saga comes from. Yes, that’s right – this free game for Android comes from the same creators known as King but it differs from Candy Crush Saga in a number of ways. Bubble Witch 2 Saga comes with really nice...

Alcatel-Lucent, Ericsson, Fujitsu, NEC, Nokia Siemens Networks and DOCOMO Develop Technical Specifications for Value-Added IMS Network Services

Alcatel-Lucent, Ericsson, Fujitsu, NEC Corporation (NEC), Nokia Siemens Networks (NSN) and NTT DOCOMO, INC. (DOCOMO) are pleased to announce the joint development and successful testing of common technical specifications for value-added IP Multimedia Subsystem (IMS) network services. The...

Mad Catz unveiled new Cyborg R.A.T line gaming mice

Mad Catz unveiled new Cyborg R.A.T line gaming mice

Mad Catz Interactive, Inc. , a leading worldwide third-party interactive entertainment accessory provider,  unveiled a new range of premium Cyborg gaming mice expected to begin shipping in Spring 2010.   “The Cyborg mouse range was developed entirely in house and I believe they are...

Leave a comment