Logo des Repositoriums

it - Information Technology 63(5-6) - Oktober 2021

https://dl.gi.de/handle/20.500.12116/37950
Auflistung nach:

Auflistung it - Information Technology 63(5-6) - Oktober 2021 nach Schlagwort "Correctness"

1 - 1 von 1
  • Zeitschriftenartikel
    Infinite-state graph transformation systems under adverse conditions
    (it - Information Technology: Vol. 63, No. 4, 2021) Özkan, Okan
    We present an approach for modeling adverse conditions by graph transformation systems. To this end, we introduce joint graph transformation systems which involve a system, an interfering environment, and an automaton modeling their interaction. For joint graph transformation systems, we present notions of correctness under adverse conditions. Some instances of correctness are expressible in LTL (linear temporal logic), or in CTL (computation tree logic), respectively. In these cases, verification of joint graph transformation systems is reduced to temporal model checking. To handle infinite state spaces, we incorporate the concept of well-structuredness. We discuss ideas for the verification of joint graph transformation systems using results based on well-structuredness.