إسابيل/هول (Isabelle/HOL) هي نظام لتطوير البرمجيات وفقًا لنظام متكامل يعتمد على المنطق الرياضي للهول، وهو نظام منطقي مبني على هندسة البرمجيات التجريبية. ظهرت لأول مرة في عام 1997، وتم تطويرها بواسطة مجموعة من المطورين والباحثين.
تعتمد إسابيل/هول على لغة الهول (HOL)، التي تقوم على المنطق العددي من الدرجة الثانية. تهدف إلى توفير بيئة لتحليل وتحقيق البرامج باستخدام المنطق الرياضي كأساس. يُعتبر HOL نظام منطقي معقد يتيح التعامل مع تفاصيل مختلفة للبرمجيات والنظم، مما يسمح بالتحقق الرياضي من البرامج وصحتها.
تم تطوير إسابيل/هول بواسطة مجتمع متخصص يتألف من باحثين ومطورين في جامعة كوينزلاند وجامعة تكنيس الألمانية في برلين. يُعتبر هذا النظام جزءًا هامًا من أدوات تطوير البرمجيات في المجتمع الأكاديمي والصناعي، حيث يُستخدم في مجموعة متنوعة من التطبيقات بما في ذلك الأنظمة الناقلة، والأتمتة، والتحليل الرياضي للبرامج، والتحقق من صحتها.
وعلى الرغم من أنه لا توجد معلومات كافية حول الخصائص الفنية المحددة لإسابيل/هول مثل وجود تعليقات، أو التحويل الدلالي للنص، إلا أنه يُفترض أنه يدعم هذه الميزات بما يتناسب مع طبيعة النظام ومتطلبات تطوير البرمجيات الرياضية.
وللمزيد من المعلومات، يمكنك زيارة صفحة ويكيبيديا المخصصة لإسابيل/هول إذا كانت متوفرة لديك.