FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110871985> ?p ?o ?g. }

• W2110871985 abstract "The verification of systems with respect to a desired set of behavioural properties is a crucial step in increasing our confidence that these systems will correctly function under all circumstances. Although it would be desirable to verify all (computer) systems that we use in our daily life, the sheer complexity of the verification tasks often limit their application to critical systems. A system is considered critical when its incorrect behaviour can cause severe damage, such as loss of lives or the destruction of valuable equipment.In this thesis, we use graph transformation as our modelling formalism for system specification. Graph transformation (GT) is a Turing-powerful, declarative rule-based formalism, with a mature theoretical foundation and a thriving tool environment. Our work focus on the behavioural analysis of GT systems, where a GT system semantics is represented by a labelled transition system, that can then be analysed by well-established verification methods, such as model checking. A key requirement in this approach is the capability to handle GT systems with (possibly) infinite state spaces.This thesis presents two abstraction techniques that yield a finite over-approximation of the behaviour of infinite-state GT systems, thus enabling verification on the abstract level. The two techniques, called neighbourhood abstraction and pattern abstraction, are discussed under both a theoretical and a practical focus; the former concerning the formal definition and correctness of the abstraction methods, and the latter discussing their implementation in GROOVE, our GT tool set. Experimental results are also given in order to assess the performance of the developed tools." @default.
• W2110871985 created "2016-06-24" @default.
• W2110871985 creator A5037086805 @default.
• W2110871985 date "2012-11-06" @default.
• W2110871985 modified "2023-09-23" @default.
• W2110871985 title "Abstract graph transformation" @default.
• W2110871985 cites W1430864652 @default.
• W2110871985 cites W14675611 @default.
• W2110871985 cites W1481572045 @default.
• W2110871985 cites W1484220609 @default.
• W2110871985 cites W1485541946 @default.
• W2110871985 cites W1495866684 @default.
• W2110871985 cites W1497942136 @default.
• W2110871985 cites W1498432697 @default.
• W2110871985 cites W1499707311 @default.
• W2110871985 cites W1500334348 @default.
• W2110871985 cites W1500496891 @default.
• W2110871985 cites W1500801183 @default.
• W2110871985 cites W1500886905 @default.
• W2110871985 cites W1505207814 @default.
• W2110871985 cites W1507175145 @default.
• W2110871985 cites W1507479492 @default.
• W2110871985 cites W1511639568 @default.
• W2110871985 cites W1512798271 @default.
• W2110871985 cites W1515116860 @default.
• W2110871985 cites W1520931975 @default.
• W2110871985 cites W1527664624 @default.
• W2110871985 cites W1530639567 @default.
• W2110871985 cites W1531705746 @default.
• W2110871985 cites W1531880542 @default.
• W2110871985 cites W1532097571 @default.
• W2110871985 cites W1533509112 @default.
• W2110871985 cites W1537092771 @default.
• W2110871985 cites W1537937665 @default.
• W2110871985 cites W1539956853 @default.
• W2110871985 cites W1545834943 @default.
• W2110871985 cites W1548957673 @default.
• W2110871985 cites W1554001271 @default.
• W2110871985 cites W1556012908 @default.
• W2110871985 cites W1564908027 @default.
• W2110871985 cites W1567480092 @default.
• W2110871985 cites W1568807415 @default.
• W2110871985 cites W1569111752 @default.
• W2110871985 cites W1570222255 @default.
• W2110871985 cites W1570299937 @default.
• W2110871985 cites W1577162627 @default.
• W2110871985 cites W1581031502 @default.
• W2110871985 cites W1581724171 @default.
• W2110871985 cites W158588224 @default.
• W2110871985 cites W1589911528 @default.
• W2110871985 cites W1590256171 @default.
• W2110871985 cites W1591148686 @default.
• W2110871985 cites W1593780309 @default.
• W2110871985 cites W1597386479 @default.
• W2110871985 cites W1597906851 @default.
• W2110871985 cites W1600318815 @default.
• W2110871985 cites W1602073915 @default.
• W2110871985 cites W1604786107 @default.
• W2110871985 cites W1634005769 @default.
• W2110871985 cites W163800598 @default.
• W2110871985 cites W1675366856 @default.
• W2110871985 cites W1686804760 @default.
• W2110871985 cites W1703762398 @default.
• W2110871985 cites W1711732669 @default.
• W2110871985 cites W1748515470 @default.
• W2110871985 cites W175266890 @default.
• W2110871985 cites W1777881387 @default.
• W2110871985 cites W177980195 @default.
• W2110871985 cites W1790160651 @default.
• W2110871985 cites W179080812 @default.
• W2110871985 cites W179482689 @default.
• W2110871985 cites W179785347 @default.
• W2110871985 cites W1887494250 @default.
• W2110871985 cites W1891049642 @default.
• W2110871985 cites W1898184382 @default.
• W2110871985 cites W1934956391 @default.
• W2110871985 cites W1944365733 @default.
• W2110871985 cites W1959256509 @default.
• W2110871985 cites W1969336848 @default.
• W2110871985 cites W1972844678 @default.
• W2110871985 cites W1975423918 @default.
• W2110871985 cites W1990600049 @default.
• W2110871985 cites W1991837261 @default.
• W2110871985 cites W1993836075 @default.
• W2110871985 cites W1994026499 @default.
• W2110871985 cites W1995799881 @default.
• W2110871985 cites W2023392692 @default.
• W2110871985 cites W2030697178 @default.
• W2110871985 cites W2043100293 @default.
• W2110871985 cites W2043562807 @default.
• W2110871985 cites W2048277227 @default.
• W2110871985 cites W2053154567 @default.
• W2110871985 cites W2069300761 @default.
• W2110871985 cites W2074683366 @default.
• W2110871985 cites W2095776241 @default.
• W2110871985 cites W2097248142 @default.
• W2110871985 cites W2097357100 @default.
• W2110871985 cites W2099991819 @default.
• W2110871985 cites W2102248562 @default.
• W2110871985 cites W2102886900 @default.

• next