[aadl]: Excuse me, can you give me help about verification

Jetlee 13260976229 at 163.com
Tue Oct 7 21:48:33 EDT 2014


Dear friend,
When I built my model, it's important that verificate my model in next. However, I don't kown how to chose the verification tools. Can you give me recommand some verification tools?
Sincerely,
Jetlee
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Sae-aadl-users mailing list