التحقق بمساعدة الحاسوب

📅 آخر تحديث: ٢١ يوليو ٢٠٢٦
✍️ نُشر في: ٢١ يوليو ٢٠٢٦
📷 يحتوي على 1 صور
الموسوعة الحرة

في مجال علوم الحاسوب ، يُعدّ المؤتمر الدولي للتحقق بمساعدة الحاسوب ( CAV ) مؤتمرًا أكاديميًا سنويًا يُعنى بنظرية وتطبيق التحليل الرسمي بمساعدة الحاسوب لأنظمة البرمجيات والأجهزة ، والمعروف عمومًا بالأساليب الرسمية . ومن بين النتائج المهمة التي نُشرت في CAV تقنيات التحقق من النماذج ، مثل تحسين التجريد الموجه بالأمثلة المضادة [ 1 ] واختزال الترتيب الجزئي [ 2 ] [ 3 ] . وغالبًا ما يُصنّف هذا المؤتمر ضمن أفضل المؤتمرات في علوم الحاسوب [ 4 ] [ 5 ] .

عُقد أول مؤتمر CAV في عام 1989 في غرونوبل ، فرنسا . تُنشر وقائع مؤتمر CAV (منذ عام 1989 وحتى الآن) بواسطة Springer Science+Business Media ، وهي متاحة للجميع منذ عام 2018. [ 6 ] [ 7 ] [ 8 ] أُنشئت جائزة CAV السنوية في عام 2008. يمكن الاطلاع على قائمة الفائزين والاستشهادات على الرابط التالي : https://i-cav.org/cav-award/

انظر أيضاً

مراجع

  1. ↑ كلارك، إدموند م .؛ وآخرون  (2000). "تحسين التجريد الموجه بالأمثلة المضادة". التحقق بمساعدة الحاسوب . سلسلة محاضرات في علوم الحاسوب. المجلد  1855. الصفحات 154-169 . doi : 10.1007/10722167_15 . ISBN  978-3-540-67770-3.
  2. ↑ فالماري، أنتي (1990). "هجوم عنيد على انفجار الحالة". التحقق بمساعدة الحاسوب . سلسلة محاضرات في علوم الحاسوب. المجلد 531. الصفحات 156-165 . doi : 10.1007/BFb0023729 . ISBN   978-3-540-54477-7.
  3. ↑ غودفرويد، باتريس (1990). "استخدام الترتيبات الجزئية لتحسين أساليب التحقق الآلي". التحقق بمساعدة الحاسوب . سلسلة محاضرات في علوم الحاسوب. المجلد 531. الصفحات 176-185 . doi : 10.1007/BFb0023731 . ISBN   978-3-540-54477-7.
  4. ↑ "قائمة المؤتمرات المصنفة (2010)" . مجلس البحوث الأسترالي . مؤرشف من الأصل في 27 فبراير 2012. تم الاطلاع عليه في 3 يناير 2012 .
  5. ↑ "أهم المؤتمرات في هندسة البرمجيات" . بحث مايكروسوفت الأكاديمي . تم الاطلاع عليه في 3 يناير 2012 .{{cite web}}: CS1 maint: deprecated archiveal service ( link )
  6. ↑ تشوكلر، هانا؛ فايسنباخر، جورج، محرران. (2018). التحقق بمساعدة الحاسوب . سلسلة محاضرات في علوم الحاسوب. المجلد 10982. doi : 10.1007/978-3-319-96142-2 . ISBN  978-3-319-96141-5ISSN 0302-9743​​ 
  7. ↑ ماجومدار، روباك؛ كونتشاك، فيكتور، محرران. (2017). التحقق بمساعدة الحاسوب . سلسلة محاضرات في علوم الحاسوب. المجلد 10427. doi : 10.1007/978-3-319-63390-9 . ISBN  978-3-319-63389-3ISSN 0302-9743​​ 
  8. ↑ إينيا، قسطنطين؛ لال، أكاش، محرران. (2023). التحقق بمساعدة الحاسوب . سلسلة محاضرات في علوم الحاسوب. المجلد 13965. doi : 10.1007/978-3-031-37703-7 . ISBN  978-3-031-37702-0ISSN 0302-9743​​