TITLE: Parameter constraint synthesis of the biphase mark protocol using
         event order abstraction
SPEAKER: Shinya Umeno (MIT)
PLACE: 32-G631
TIME: 1-2:30pm
DATE: Friday September 18th, 2009

ABSTRACT:
I will present a case study result about parameter constraint synthesis of
the biphase mark protocol, a lower-level communication protocol used
in the consumer and industrial electronic products.

I use event order abstraction (EOA), a new approach for machine-assisted
parameter constraint synthesis of real-time systems.

The talk will be based on my presentation at FORMATS 2009, held in
this week.