Abstrakt. Vi anser att ett språk av rekursivt definierade formler om matriser av variabler, lämplig för att specificera säkerhetsegenskaper hos parameteriserade system. Vi presenterar sedan en abstrakt tolkningsram som översätter ett parameriserat system som ett symboliskt övergångssystem som sprider sådana formler som abstraktioner av underliggande konkreta stater. Det viktigaste bidraget är en korrekt metod för implikationer mellan formlerna, som sedan föreskriver en tillämpning av denna abstrakta tolk.
I REF används ett språk av rekursivt definierade formler om matriser av variabler, lämpliga för att specificera säkerhetsegenskaper hos parameteriserade system.
Recursive Abstractions for Parameterized Systems
{'venue': 'FM', 'journal': None, 'mag_field_of_study': ['Computer Science']}