Section: Other Grants and Activities
Visits, researcher invitation
J.-C. Filliâtre visited Alwyn Goodloe at the National Institute of Aerospace (Hampton, USA) in September 2009 and gave a tutorial on the Why tool. J.-C. Filliâtre also presented the ACSL specification language  and the Frama-C platform.
M. Pouzet visited Arvind (MIT, Boston, USA) and Grégoire Hamon (TheMathworks, USA) in July 2009. He presented the N-synchronous model.
Barbará Vieira, Ph.D. student at Universidade do Minho (Braga, Portugal), visited ProVal from March to May 2009. She worked with J.-C. Filliâtre on a verification tool for CAO, a domain-specific language for cryptographic protocols (http://www.cs.bris.ac.uk/~page/research/cao.html ).