Sökning: onr:"swepub:oai:DiVA.org:uu-106058" >
Parameterized tree ...
Parameterized tree systems
-
- Abdulla, Parosh Aziz (författare)
- Uppsala universitet,Datorteknik
-
- Ben Henda, Noomene (författare)
- Uppsala universitet,Datorteknik
-
Delzanno, Giorgio (författare)
-
visa fler...
-
- Haziza, Frédéric (författare)
- Uppsala universitet,Datorteknik
-
- Rezine, Ahmed (författare)
- Uppsala universitet,Datorteknik
-
visa färre...
-
(creator_code:org_t)
- Berlin : Springer-Verlag, 2008
- 2008
- Engelska.
-
Ingår i: Formal Techniques for Networked and Distributed Systems. - Berlin : Springer-Verlag. - 9783540688549 ; , s. 69-83
- Relaterad länk:
-
https://link.springe...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organized in a linear array. The aim of this paper is to extend these works by giving a simple and efficient method to prove safety properties for systems with tree-like architectures. A process in the system is a finite-state automaton and a transition is performed jointly by a process and its parent and children processes. The method derives an over-approximation of the induced transition system, which allows the use of finite trees as symbolic representations of infinite sets of configurations. Compared to traditional methods for parameterized verification of systems with tree topologies, our method does not require the manipulation of tree transducers, hence its simplicity and efficiency. We have implemented a prototype which works well on several nontrivial tree-based protocols.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Computer science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas