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

Sony launches 32GB Memory Stick PRO Duo cards

Sony  added  its highest capacity 32 GB model to Memory Memory Stick PRO Duo line. This will Handycam owners  shooting in FH mode (1920 x 1080 Full HD) can now record 225 minutes (3 hours 45 minutes) of HD video using a single card. It is perfect for events such as weddings, birthday parties...

Borderlands 2 bug deletes progress in some games

Borderlands 2 bug deletes progress in some games

Just a week after the Borderlands 2 debut some players have reported a strange bug that deletes player progress in some games. Borderlands 2 was released on September 21 this year and is the sequel to Borderlands, a space western FPS that received critical acclaim back in 2009. That is not to...

Nokia releases update for Nokia N8, C7 and C6-01 phones

Nokia today announced the release оф а software update 1.1 for their Symbian smartphones  N8, C7 and C6-01 which will improve the stability of the devices,  as well will brings some new content. The standard, non-customised version of the update is available from today and...

Leave a comment