---
title: "Google ئامرازەک بۆ پشتڕاستکرنا یاسایێن CEL ب بەڵگەیێن بیرکاری دناسینیت"
description: "چارچوڤا نوی یا CEL ب Z3 کار دکەت و دکاریت هەڵەیێن لۆژیکی د یاسایێن دەستهەلاتێ دا دیار بکەت. ڕاگەهاندنا ١٨ێ ئابێ پێشنیارا پێکڤەئینانا تاقیکرن و بەڵگەکرنێ دکەت."
url: https://kurddevelopers.com/news/google-cel-formal-verification-z3-policy-checking-august-2026
language: ku # Kurdish (Badini dialect of Kurmanji, Arabic script)
type: news
published: 2026-08-18T20:00:00.000Z
updated: 2026-11-03T17:05:10.000Z
author: "ئوسامە ئیسماعیل"
author_url: https://kurddevelopers.com/author/1
section: "پروگرامسازی"
tags: ["Google","CEL","Programming","Formal Verification"]
sources: ["Google Open Source Blog — 18 August 2026: https://opensource.googleblog.com/2026/08/securing-the-agentic-era-introducing-formal-verification-for-cel.html","CEL — language overview: https://cel.dev/"]
image: https://kurddevelopers.com/uploads/2026/11/cel-fullcolor-rgb-notype-78e19fe4.png
translations:
  ar: https://kurddevelopers.com/ar/news/google-cel-formal-verification-z3-policy-checking-august-2026
  en: https://kurddevelopers.com/en/news/google-cel-formal-verification-z3-policy-checking-august-2026
publisher: Kurd Developers
publisher_url: https://kurddevelopers.com/
---

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

> چارچوڤا نوی یا CEL ب Z3 کار دکەت و دکاریت هەڵەیێن لۆژیکی د یاسایێن دەستهەلاتێ دا دیار بکەت. ڕاگەهاندنا ١٨ێ ئابێ پێشنیارا پێکڤەئینانا تاقیکرن و بەڵگەکرنێ دکەت.

![نیشانا فەرمی یا Common Expression Language — Google.](https://kurddevelopers.com/uploads/2026/11/cel-fullcolor-rgb-notype-78e19fe4.png)

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](https://opensource.googleblog.com/2026/08/securing-the-agentic-era-introducing-formal-verification-for-cel.html)
- [CEL — language overview](https://cel.dev/)

**ژێدەر:** Google Open Source Blog — 18 August 2026: https://opensource.googleblog.com/2026/08/securing-the-agentic-era-introducing-formal-verification-for-cel.html, CEL — language overview: https://cel.dev/

---

Published by [Kurd Developers](https://kurddevelopers.com/) on 2026-08-18. Cite as: “Google ئامرازەک بۆ پشتڕاستکرنا یاسایێن CEL ب بەڵگەیێن بیرکاری دناسینیت”, Kurd Developers, https://kurddevelopers.com/news/google-cel-formal-verification-z3-policy-checking-august-2026