<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Exploiting over- and under-approximations for infinite-state counterpart models"^^ . "Software systems with dynamic topology are often infini-testate. Paradigmatic examples are those modeled as graph transformation systems (GTSs) with rewrite rules that allow an unbounded creation of items. For such systems, verification can become intractable, thus calling for the development of approximation techniques that may ease\r\nthe verification at the cost of losing in preciseness and completeness. Both over- and under-approximations have been considered in the literature, respectively offering more and less behaviors than the original system. At the same time, properties of the system may be either preserved or\r\nreflected by a given approximation. In this paper we propose a general notion of approximation that captures some of the existing approaches for GTSs. Formulae are specified by a generic quantified modal logic, one that also generalizes many specification logics adopted in the literature for GTSs. We also propose a type system to denote part of the formulae as either reflected or preserved, together with a technique that exploits\r\nunder- and over-approximations to reason about typed as well as untyped formulae"^^ . "2012" . . "7562" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Fabio"^^ . "Gadducci"^^ . "Fabio Gadducci"^^ . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . . . . . "Exploiting over- and under-approximations for infinite-state counterpart models (PDF)"^^ . . . . . "icgt2012.pdf"^^ . . . "Exploiting over- and under-approximations for infinite-state counterpart models (Other)"^^ . . . . . . "indexcodes.txt"^^ . . . "Exploiting over- and under-approximations for infinite-state counterpart models (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Exploiting over- and under-approximations for infinite-state counterpart models (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Exploiting over- and under-approximations for infinite-state counterpart models (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Exploiting over- and under-approximations for infinite-state counterpart models (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1292 \n\nExploiting over- and under-approximations for infinite-state counterpart models\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .