Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaljeradare bibliografische Daten sind im Internet über http://dnb.dnb.de/ abrufbar. Graf transformationssystem är en kraftfull formell modell för att fånga modeller transformationer eller system med oändliga tillstånd utrymme, bland annat. Denna uttryckskraft kommer dock till priset av ganska begränsade automatiska analyskapaciteter. Det allmänna fallet med obundna många initiala grafer eller oändliga tillståndsrymder stöds endast av tillvägagångssätt med ganska begränsad skalbarhet eller uttrycksfullhet. I detta dokument förbättrar vi en befintlig metod för automatisk verifiering av induktiva invarianter för graftransformeringssystem. Genom att använda partiella negativa ansökningsvillkor för att representera och kontrollera många alternativa villkor på ett mer kompakt sätt kan vi kontrollera exempel med regler och begränsningar av betydligt högre komplexitet. Vi utökar också uttryckskraften avsevärt genom att stödja mer komplexa negativa tillämpningsvillkor och ge högre noggrannhet genom att använda avancerade implikationskontroller. Förbättringarna utvärderas och jämförs med ett annat tillämpligt verktyg genom att överväga tre fallstudier. Universitätsverlag 5
Dyck och Giese REF förbättrade tekniken för automatisk verifiering av strukturella invarianter för graftransformeringssystem genom att utöka expressionskraften.
Inductive Invariant Checking with Partial Negative Application Conditions
{'venue': 'ICGT', 'journal': None, 'mag_field_of_study': ['Computer Science']}