I rapporten presenteras resultaten från 2019 års vänskapliga konkurrens i ARCH-workshopen för förfalskning av tidslogikspecifikationer över Cyber-Physical Systems. Vi beskriver organisationen av tävlingen och hur den skiljer sig från tidigare år. Vi ger bakgrund om de deltagande teamen och verktygen och diskuterar de valda riktmärkena och resultaten. Riktmärkena finns på ARCH webbplats 1, samt i tävlingens gitlab arkiv 2. Det huvudsakliga resultatet av tävlingen 2019 är en gemensam referensdatabas, och en första baslinje för förfalskning, med resultat från flera verktyg, som kommer att underlätta jämförelser och spårning av toppmoderna förfalskningar i framtiden.
En jämförelse av de senaste verktygen ges i REF.
ARCH-COMP 2019 Category Report: Falsification
{'venue': 'ARCH@CPSIoTWeek', 'journal': None, 'mag_field_of_study': ['Computer Science']}