Two professors of computer science have been awarded $231,000 for a two-year period by the U.S. Department of Defense — Defense Advanced Research Projects Agency for development of tools that will assure the safety and security of mission-critical software.