لغة البرمجة “Averest” هي لغة برمجة تتميز بطابعها المتزامن ومجموعة أدواتها المتنوعة التي تستخدم لتحديد والتحقق وتنفيذ الأنظمة التفاعلية. تم إصدارها لأول مرة في عام 2005، وتم تطويرها بواسطة مجموعة من المطورين الذين لم يتم تحديد أسماؤهم بعد. تتضمن هذه اللغة مجموعة من الميزات والأدوات التي تسمح بتحقيق الأهداف المختلفة في مجالات عدة.
يمكن استخدام Averest لنمذجة والتحقق من الأنظمة ذات الحالات المحدودة وغير المحدودة، على مستويات تجريد متنوعة. فهي مفيدة جداً في تصميم الأجهزة الإلكترونية، ونمذجة بروتوكولات الاتصال، وبرامج متزامنة، والبرمجيات في أنظمة مضمنة، والمزيد. تتألف أدواتها من مترجم لترجمة البرامج المتزامنة إلى نظم الانتقال، ومدقق نموذج رمزي، وأداة لتخصيص البرمجيات/الأجهزة. تغطي هذه الأدوات أجزاء كبيرة من تدفق التصميم للأنظمة التفاعلية، من تحديد إلى تنفيذها. على الرغم من أن هذه الأدوات جزء من إطار مشترك، إلا أنها غالباً ما تكون مستقلة بشكل كبير عن بعضها البعض، ويمكن استخدامها مع أدوات الطرف الثالث.
يمكن العثور على مزيد من المعلومات حول Averest على صفحتها على ويكيبيديا: Averest Wikipedia.