University of Twente researchers are developing model-checking techniques to help remove the faults from computer systems and make them error-free. Model checking is an advanced mathematical method for checking computer systems. "We want the world to know that we have made great advances in this area, and that the business community, and also the government, can ultimately benefit from our research," says University of Twente professor Arend Rensink.
The researchers are developing systems that enable programmers to guarantee the reliability of their software. "If we are always warned in advance of everything that could go wrong, then we can predict the future, so to speak," Rensink says. "That might sound like a very grand claim, but with our research it can be achieved. We then actually have the solution before the problem arises, and that is essential for reliable software."
The researchers have developed a predictive model for all areas in which computers are used, notes University of Twente Ph.D. candidate Eduardo Zambon.
From University of Twente
View Full Article
Abstracts Copyright © 2013 Information Inc., Bethesda, Maryland, USA
No entries found