formal verification

Software developed to hunt down bugs in programs for Windows has been adapted for stem cell research. Though the two tasks sound nothing alike, they both involve calculating the link between cause and effect. New Scientist reports that the software ... is known as the Reasoning Engine for Interaction Networks, or RE:IN. It's been made available through Microsoft's research unit to several scientists who specialize in stem cells. (Source: newscientist.com ) A stem cell is effectively the blank slate of cells in mammals. As well as dividing to produce more stem cells (meaning that the body ... (view more)