software engineering tools from Microsoft Research all automata concurrency design infrastructure languages security testing verification