@inproceedings{Bau2006,
Author = {Bauer, Jörg and Schaefer, Ina and Toben, Tobe and Westphal, Bernd},
Title = {Specification and Verification of Dynamic Communication Systems},

Year = {2006},
Pages = {189-200},
Month = {06},
Publisher = {IEEE Computer Society Press},
type = {inproceedings},
note = {Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing communication topology and unboundedmessage queues for asynchronous communi},
Abstract = {Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing communication topology and unboundedmessage queues for asynchronous communication. We present a specification language for DCS that captures these features but is still amenable for formal verification. The verification of relevant properties of DCS is demonstrated using a combination of model-checking and abstract interpretation. Our approach is illustrated using the application domain of car platoons.}
}
@COMMENT{Bibtex file generated on }