من روی موضوع model checking در groove کار می کنم در واقع موضوع Formal Method میشه حالا جاهایی به مشکل برخورد کردم می خواستم بدونم آیا گروههای علمی خاصی در اینترنت هست که بتونن کمکم کنن چون روی بخشی که مشکل دارم خیلی سرچ کردم ولی چیز مفیدی پیدا نکردم دوستان دقت کنن روی موضوع کلی خیلی مطلب هست در این شکی نیست ولی در بخشی که من مشکل دارم که در واقع یک بخش کد نویسی است نتونستم راهنمایی پیدا کنم در واقع کسی را می خوام که دقیقا روی این موضوع کار کرده باشه شما عضویت در گروه علمی خاصی در اینترنت را پیشنهاد می کنید؟؟