 Formal support for the development and analysis of concurrent, real-time, and embedded systems. (Related research <a href="http://www.cs.cornell.edu/Info/People/tah/formal_methods_at_cornell.html"> at Cornell</a> and  <a href="http://www.comlab.ox.ac.uk/archive/formal-methods.html"> worldwide</a>.) <h3>
