Two Kansas State University professors of computer science have been awarded just over $400,000 for two years by the U.S. Department of Defense — Army for development of techniques in building safety-critical systems used in military operations.