فلش‌کارت‌های آموزشی دریافت مهارت با فلیکس برای رسمی‌سازی

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره دریافت مهارت با فلیکس برای رسمی‌سازی

موضوع کلی: رسمی‌سازی

موضوع میانی: رسمی‌سازی مبتنی بر زبان برنامه‌نویسی با فلیکس

📋 سرفصل‌های دوره

• 1. مقدمه‌ای بر رسمی‌سازی
• 2. اهمیت استفاده از فلیکس برای رسمی‌سازی
• 3. مروری بر زبان فلیکس
• 4. راه‌اندازی محیط توسعه فلیکس
• 5. نحو و داده‌های پایه در فلیکس
• 6. سیستم نوع‌دهی و چندشکلی در فلیکس
• 7. تعریف توابع و بازگشت
• 8. ابزارهای همزمانی در فلیکس
• 9. بازیگرها و ارسال پیام
• 10. مدیریت وضعیت در فلیکس
• 11. نوشتن اولین مشخصه‌های رسمی
• 12. مقدمه‌ای بر بیانگرها و پیش‌شرط‌ها
• 13. مبانی منطق زمانی (LTL)
• 14. مبانی مدل‌چکینگ
• 15. اجرای مدل‌چکینگ بر روی مدل‌های فلیکس
• 16. درک ضدنمونه‌ها
• 17. رویکرد توسعه مبتنی بر خاصیت
• 18. استفاده از اپراتورهای زمانی (Globally, Eventually)
• 19. مشخص کردن خواص ایمنی
• 20. مشخص کردن خواص بقاء
• 21. رمزگذاری CTL در فلیکس
• 22. مدل‌چکینگ با چندین رشته
• 23. تکنیک‌های کاوش فضای وضعیت
• 24. مدیریت فضای نامحدود وضعیت
• 25. انتزاع و پالایش
• 26. یکپارچه‌سازی با ابزارهای خارجی (مانند حل‌کننده‌های SMT)
• 27. استفاده از پل SMT فلیکس
• 28. نوشتن کدگذاری‌های SMT سفارشی
• 29. اثبات نظر با فلیکس
• 30. اثبات تعاملی در فلیکس
• 31. اتوماسیون تعهدات اثبات
• 32. اشکال‌زدایی از اسکریپت‌های اثبات
• 33. مطالعه مورد: تأیید یک پیاده‌سازی صف
• 34. مطالعه مورد: تأیید یک شبکه حلقه‌ای
• 35. مطالعه مورد: تأیید یک الگوریتم اجماع توزیع‌شده
• 36. بهینه‌سازی عملکرد برای مدل‌های بزرگ
• 37. استراتژی‌های مقیاس‌پذیری
• 38. مدل‌چکینگ موازی
• 39. رسمی‌سازی سخت‌افزار با فلیکس
• 40. وصل شدن فلیکس به Verilog/VHDL
• 41. گسترش فلیکس با افزونه‌ها
• 42. اضافه کردن ساختارهای زبانی جدید
• 43. جاسازی فلیکس در زبان‌های دیگر (C, Rust)
• 44. استفاده از فلیکس از طریق پایتون
• 45. آزمایش و اشکال‌زدایی مدل‌های رسمی
• 46. نوشتن مجموعه‌های آزمایش مؤثر
• 47. اشتباهات رایج در رسمی‌سازی
• 48. بهترین روش‌ها برای نوشتن مشخصه‌ها
• 49. چگونگی اجتناب از مبهم بودن مشخصه‌ها
• 50. مدیریت پیچیدگی در مشخصه‌های بزرگ
• 51. مرور کلی بر ابزارآلات: ساخت، اجرا، اشکال‌زدایی
• 52. ادغام رسمی‌سازی در فرآیند CI
• 53. استراتژی‌های مستندسازی و توضیح
• 54. اندازه‌گیری پوشش تأیید
• 55. دروس صنعتی از رسمی‌سازی
• 56. داستان‌های موفقیت در دنیای واقعی
• 57. محدودیت‌های فلیکس برای رسمی‌سازی
• 58. ابزارهای مکمل و جایگزین
• 59. جهات آینده در رسمی‌سازی
• 60. تکنیک‌های نوظهور تأیید
• 61. رسمی‌سازی در سیستم‌های توزیع‌شده
• 62. تأیید پروتکل‌های رمزنگاری
• 63. کاربرد رسمی‌سازی در قراردادهای هوشمند بلاک‌چین
• 64. رسمی‌سازی برنامه‌های کاربردی وب
• 65. تأیید خواص امنیتی
• 66. شناسایی آسیب‌پذیری‌ها با روش‌های رسمی
• 67. ادغام رسمی‌سازی در چرخه حیات توسعه
• 68. سنجش و گزارش در پروژه‌های تأیید
• 69. نوشتن مشخصه‌های قابل حمل در فلیکس
• 70. مشارکت در پروژه فلیکس