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.
The talk takes a stand to advocate the use of partial order unfolding semantics for the analysis of large networked systems, exemplified by fault diagnosis in telecommunication networks. The methodology of asynchronous diagnosis is presented, followed by a discussion of fun but challenging problems connected to diagnosis, in particular distribution of unfolding.
In a different domain, the talk will present recent and ongoing work on testing of input/output automata over partially ordered I/O streams.