-
Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petr...
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction,... -
Efficient verification of sequential and concurrent systems
Formal methods provide means for rigorously specifying the desired behaviour of a hardware or software system, making a precise model of its actual behaviour, and then... -
Verifying Communicating Multi-pushdown Systems
International audience
