Reverse Engineering of Middleware for Verification of Robot Control Architectures

Ali Khalili, Lorenzo Natale, Armando Tacchella

We consider the problem of automating the verification of distributed control software relying on publish-subscribe middleware. In this scenario, the main challenge is that softwar…