Portal de Periódicos da CAPES

Static Analysis of Dynamic Communication Systems by Partner Abstraction

2007; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-540-74061-2_16

1611-3349

Jörg Bauer, Reinhard Wilhelm,

Embedded Systems Design Techniques

Prominent examples of dynamic communication systems include traffic control systems and ad hoc networks. They are hard to verify due to inherent unboundedness. Unbounded creation and destruction of objects and a dynamically evolving communication topology are characteristic features.