ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Wed 10 Apr 2019 12:00 - 12:30 at SUN I - Concurrent and Distributed Systems Chair(s): Marieke Huisman

We propose an automated method for computing inductive invariants used to proving deadlock freedom of parametric component-based systems. The method generalizes the approach for computing structural trap invariants from bounded to parametric systems with general architectures. It symbolically extracts trap invariants from interaction formulae defining the system architecture. The paper presents the theoretical foundations of the method, including new results for the first order monadic logic and proves its soundness. It also reports on a preliminary experimental evaluation on several textbook examples.

Wed 10 Apr

tacas-2019-papers
10:30 - 12:30: TACAS 2019 - Concurrent and Distributed Systems at SUN I
Chair(s): Marieke HuismanUniversity of Twente
tacas-2019-papers10:30 - 11:00
Talk
Tom van DijkUniversity of Twente, Jeroen Meijer, Jaco van de PolAarhus University
Link to publication
tacas-2019-papers11:00 - 11:30
Talk
Si Liu, Peter Ölveczky, Min ZhangEast China Normal University, Qi Wang, José Meseguer
Link to publication
tacas-2019-papers11:30 - 12:00
Talk
Link to publication
tacas-2019-papers12:00 - 12:30
Talk
Marius BozgaVerimag/CNRS, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Joseph SifakisVerimag/CNRS
Link to publication