لغة تحديد المواصفات الخاصة (PSL) هي لغة لوجيكية زمنية توسع منطق الزمن الخطي بمجموعة من المشغلات لكل من سهولة التعبير وتعزيز القوة التعبيرية. تقوم PSL بالاستخدام الواسع لتعابير العادات والتحلي بالسكر الصفيحي النحوي. تستخدم على نطاق واسع في صناعة تصميم وتحقق الأجهزة، حيث يُستخدم أدوات التحقق الشكلي (مثل التحقق من النموذج) و/أو أدوات المحاكاة اللوجيكية لإثبات أو نفي أن تتماشى الصيغة PSL المعطاة مع التصميم المعطى. تم تطوير PSL بشكل أولي بواسطة Accellera لتحديد خصائص أو تأكيدات حول تصاميم الأجهزة. منذ سبتمبر 2004، تمت عملية توحيد اللغة في مجموعة العمل IEEE 1850. في سبتمبر 2005، تم الإعلان عن المعيار IEEE 1850 للغة تحديد المواصفات الخاصة (PSL). تتميز PSL بمجموعة من الميزات، ومنها استخدام التعليقات، والتنسيق الدلالي، والتعليقات على الأسطر. تعتبر جماعة Accellera Systems Initiative هي المجتمع الأصلي لهذه اللغة. يمكنك العثور على معلومات إضافية حول PSL على صفحتها في ويكيبيديا هنا.
