Time Line How be sure of a Score-Based Interactive Music System's behavior during shows ? Ensuring a " guarantee " on the behavior of a complex real-time system is not trivial and requires formal method. Today, Antescofo's behavior is " manually " checked by the compositor during rehearsals. Since rehearsal performances represent just a few set of all possible interpretations of a score, this method is not rigorous. The poster depicts another rigorous method.