The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Message sequence charts are an attractive visual formalism used to specify distributed communicating systems. One way to test such a system is to substitute a component by a test process and observe its interaction with the rest of the system. We consider the question of whether we can characterize the distributed behaviour of such a system based on local observations. The main difficulty is that local observations can combine in unexpected ways to define implied scenarios not present in the original specification. We consider variants of this simple notion of testing. In most cases the problem turns out to be undecidable.
(Joint work with Puneet Bhateja, Paul Gastin and Madhavan Mukund)