Challenges and Opportunities in Model Checking Large-scale Distributed Systems

Abstract

The goal of the Must project is to provide design and verification support for industrial-scale distributed systems. We provide an overview of the project: its design goals, its technical features, as well as some lessons we learnt in the process of transferring academic research to an industrial tool.

BibTeX

@inproceedings{Majumdar:ICSE24,
  author    = {Rupak Majumdar},
  title     = {Challenges and Opportunities in Model Checking Large-scale Distributed Systems},
  booktitle = {ICSE},
  pages     = {1:1--1:2},
  publisher = {{ACM}},
  year      = {2024},
}

Challenges and Opportunities in Model Checking Large-scale Distributed Systems

Abstract

Related papers