Behaviour Analysis of Distributed Systems Using the Tracta Approach

Dimitra Giannakopoulou، نويسنده , , Jeff Kramer and Shing Chi Cheung ، نويسنده ,

روزنامه با شماره پیاپی سال 1999

29

7

35

static analysis , automated analysis , compositional reachability analysis , model checking , safetyproperties , liveness properties , Software architecture , concurrent and distributed systems , Labelled transition systems , B¨uchi automata

Automated Software Engineering

1999

Automated Software Engineering

307043