COMPASS-support

Download

compass-support@lists.rwth-aachen.de

August 2014

1 participants
1 discussions

AADL translator
by Mohsen Fazelinia 25 Aug '14

25 Aug '14

Hi I want translate AADL language to Promela for system engine model checking (e.g. SPIN). I found your article (Slicing AADL Specifications for Model Checking) about this work.can you help me about this?

1 0