DAWN for component based systems - just a different perspective

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.

• Type: Journal
• Year: 2002
• Where: EMISA
• Authors: Ekkart Kindler
• Keywords: EMISA 2002, Information Technology, Network Algorithms, Petri Nets, Temporal Logic