[aadl]: Model checking

[Mohsen Fazelinia]

Hi

I want use model checker for my model. Is exist any model checker for
OSATE2?

SPIN is model checker that used to model checking, but SPIN is based on
Promela language and can’t use for AADL. Is any compiler for translating
AADL to Promela or any plugin for OSATE to use AADL model in SPIN model
checker?


Best regards

Mohsen
-------------- next part --------------
HTML attachment scrubbed and removed