As in the year before , Strix won this year’s SYNTCOMP competition in the TLSF/LTL Synthesis Track. Furthermore, the techniques used in Strix will be described in detail in an article which is scheduled to be published in Acta Informatica.
The PaVeS people are very pleased to announce the arrival of a new member, Marijana Lazić! Marijana describes her research interests in her own words as follows: “I am interested in parameterized model checking and synthesis of fault-tolerant distributed algorithms (FTDAs). During my PhD studies I was focusing on a Read more…
Javier Esparza gave a talk at the PhDopen-talks of the University of Bordeaux about Verification of Distributed Algorithms.
Today the PaVeS group founded the tradition of regular meetings. Additionally, we are very happy to officially welcome our student assistants Philip and Martin in PaVeS whom will acompany us through this research-adventure! To the latter we already owe this very webpage.