The software can help developers constrain their creations so they don’t make bad decisions.
http://www.wired.com/