ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal

I will give an outline of the Must project, a framework for modeling and state space exploration of distributed systems written in a mainstream programming language (Rust). I will describe some recent technical advances that allow us to scale to large state spaces, as well as our attempts to bridge the gap between model and code and between (randomized) state space exploration for fixed configurations and guarantees for unbounded systems. I will also describe the challenges of deploying modeling and model checking in an industrial context.

Wed 17 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
ICSE2024 Opening & Keynote 1 - Rupak MajumdarICSE Keynotes / Social Events at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto
09:00
45m
Talk
ICSE2024 Opening
Social Events
Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Abhik Roychoudhury National University of Singapore, Margaret-Anne Storey University of Victoria
09:45
45m
Keynote
Challenges and Opportunities in Model Checking Large-scale Distributed Systems
ICSE Keynotes
K: Rupak Majumdar MPI-SWS