Google ئامرازەک بۆ پشتڕاستکرنا یاسایێن CEL ب بەڵگەیێن بیرکاری دناسینیت

Google ل ١٨ێ ئابا ٢٠٢٦ CEL Formal Verification Framework ناساند. ئەڤ ئامرازە Z3 بکار دئینیت بۆ پشکنینا هەندەک تایبەتمەندییێن یاسایێن CEL، وەک یەکسانبوونا دوو دەربڕینان یان پاراستنا مەرجەکێ دیار.

CEL زمانەکێ دەربڕینانە کو دناڤ ئەپان دا دهێتە بەکارهێنان. ژ بەکارهێنانێن وێ فلتەرکرنا داخوازییێن API، پشکنینا مەرجان و یاسایێن دەستهەلاتێ هەنە.

تاقیکرن و بەڵگەکرن چ جیاوازن؟

تاقیکرنەک وەڵاما بەرنامەیێ ل گەل Inputەکێ دیار دپشکنیت. بەڵگەکرنا فەرمی هەوڵ ددەت مەرجەکێ ل سەر مۆدێلا هاتیە دیارکرن پشتڕاست بکەت. هەلبژارتنا ئەو مەرجە هێشتا کارەکێ گرنگێ پروگرامسازێ یە.

ئەڤ جیاوازییە بۆ یاسایێن دەستهەلاتێ گرنگە، چونکی گوهۆڕینەکا بچووک د گرووپکرنا مەرجان دا دکاریت ئەنجامێ بگوهۆڕیت. ڤەگەڕاندنا کۆدێ ب شێوازەکێ کورتتر هەمیشە واتایا هەمان ڕەفتار نادەت.

نموونەیەکا سادە ژ لۆژیکێ

ئەڤ نموونەیە یا مە یە بۆ ڕوونکرنەوەیێ. هەکە ڕێک بدەین تەنێ ئەندامێ پارەدای یان تاقیکرنێ هەی بچیتە ژوور، دەربڕین دکاریت هوسا بیت:

member && (paid || trial)

لێ هەکە ببیتە (member && paid) || trial، کەسەکێ ئەندام نینە و تەنێ trial=true هەی، وەڵاما قبوولکرنێ وەردگریت. مەرجێ ئەندامبوونێ ئێدی ل هەر دوو هەلبژاردەیان ناهێتە جێبەجێکرن.

ئەڤ جۆرە جیاوازییە تەنێ ب دیتنا کۆدێ کورت ئاسان ناهێتە دیارکرن؛ پێدڤییە ڕەفتار ل گەل مەبەستا یاسایێ بهێتە بەراوردکرن.

سنوورێ پشتڕاستکرنێ ژی ڕوون بیت

ڕاگەهاندن دیار دکەت هەکە شیکرنەوە پشتێ ب فەنکشنەکا تایبەت یا نەهاتیە مۆدێلکرن ببەستیت، ئەنجام دکاریت Inconclusive بیت. واتا ئامراز نەگەهشتییە بریارەکا تەمام؛ ئەڤە نابیتە پشتڕاستکرنا دروستییێ.

بۆ تیمەکێ AI بۆ گوهۆڕینا یاسایان بکار دئینیت، سوودێ سەرەکی ئەوەیە کو مەرجێن قبوولکرنێ بەری گوهۆڕینێ بنڤیسیت. پاشی پشکنین دکاریت ل سەر هەمان مەرجان بهێتە کرن.

هەڵسەنگاندنا مە ئەوەیە کو بەڵگەکرن و تاقیکرن پێکڤە زانیارییا باشتر ددەن. بەڵگەیا مەرجەکێ دیار پێدڤییە هەر د سنوورێ وێ مەرجێ دا بهێتە خوێندن؛ ئەو ژ خۆڤە هەمی ئەپێ پشتڕاست ناکەت.

سەرچاوە

• Google Open Source Blog — 18 August 2026
• CEL — language overview