DAWN for component based systems – just a different perspective
ISSN der Zeitschrift
Gesellschaft für Informatik e.V.
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that allows us to use it for verifying component bases systems by modelling components and their interaction independently of each other.