Distributed services play an increasing role in our daily lives and our economy. Yet, as they importance grow, so does their complexity, which makes them increasingly difficult to analyze, verify, and validate. In this talk, I will provide an overview of our experience analyzing complex industry-grade platforms for distributed systems. One key problem we have encountered is the fact that real-life deployments tend to rely on large stacks of legacy and third party software. Because of that, the resulting systems are poorly suited to fully automated verification approaches. I will use our experience in this area (which has mainly exploited heuristics, and semi-automatic analysis tools) to suggest potential synergies between verification approaches, and interactive analysis approaches.
presentationdoi: http://doi.org/10.4204/EPTCS.123 (publisher's link)