Regular Model Checking Revisited

Staff - Faculty of Informatics

Date: 22 March 2023 / 10:30 - 11:30

USI Campus Est, room D1.14, Sector D

Speaker: Philipp Rümmer, University of Regensburg, Germany and Uppsala University, Sweden

Abstract: Regular model checking, broadly construed, is the idea of reasoning about infinite-state systems using regular languages as symbolic representations. Regular model checking is a useful technique in particular for the analysis of parameterized systems, i.e., for checking properties of infinite families of finite-state systems, for instance self-stabilizing systems or various protocols. Regular model checking has been studied since the late 90s. In the talk, I will present a new formulation of regular model checking in terms of existential second-order logic over automatic structures. The formulation is general enough to capture many interesting correctness properties (e.8., safety, liveness, safety games, bisimulation), and can be turned into an effective analysis procedure by combination with methods from the automata learning area.

The talk presents joint work with Anthony W. Lin.

Biography: Philipp Rümmer is Professor in Theoretical Computer Science at the newly founded Department of Informatics and Data Science of the University of Regensburg, Germany. He also holds a position as Associate Professor at Uppsala University, Sweden. His research alternates between automated reasoning, SMT solving, formal methods, embedded systems, and various other topics.

Faculties

Events
30
July
2024
30.
07.
2024
01
August
2024
01.
08.
2024
08
August
2024
08.
08.
2024

Summer School in Social Sciences Methods

Faculty of Communication, Culture and Society
13
August
2024
13.
08.
2024

Cinema and Audiovisual Futures Conference 2024

Faculty of Communication, Culture and Society

The Future of Survival Public Event: AI and Generative humanity

Faculty of Communication, Culture and Society
14
August
2024
14.
08.
2024

The Future of Survival Public Event: Digital Migrations

Faculty of Communication, Culture and Society
15
August
2024
15.
08.
2024

The Future of Survival Public Event: "Listening to Ice"

Faculty of Communication, Culture and Society