Glossary entry (derived from question below)
English term or phrase:
extracted from an implementation
Persian (Farsi) translation:
مدل اقتباس شده از اجرا
English term
Iran
Native in: Persian (Farsi) 
Works in: Persian (Farsi), English to Persian (Farsi), Persian (Farsi) to English
extracted from an implementation
model checking build a mathematically sound proof for the
correctness of a design. In general they do not scale nearly
as well as testing, and can only be applied to a system design
or a model extracted from an implementation.
Feb 10, 2020 12:16: changed "Kudoz queue" from "In queue" to "Public"
Proposed translations
Certified Translator of the Judiciary
Native in: Persian (Farsi) 
Works in: English to Persian (Farsi), English to Azerbaijani, German to English, and 2 more.
مدل اقتباس شده از اجرا
Spain
Building Trust by Excellence
Native in: Persian (Farsi)
Works in: English to Persian (Farsi), Persian (Farsi) to English, Spanish to Persian (Farsi), and 2 more.
برگرفته از اجرا/پیاده‌سازی
Quality, Experience, Knowledge do matter
Native in: Persian (Farsi)
Works in: English to Persian (Farsi), Persian (Farsi) to English, Persian (Farsi), and 10 more.
استخراج شده از تکنیک اجرا شده
Committed to the highest quality
Native in: Persian (Farsi) , Dari
Works in: English to Persian (Farsi), Persian (Farsi) to English, English to Dari, and 1 more.
مدل برگرفته شده از اجرا
Germany
My two mottos, punctuality and precision
Native in: Persian (Farsi)
Works in: English to Persian (Farsi), Persian (Farsi) to English, English, and 4 more.
استخراجی از یک پیاده سازی/ اجرای عملی
و با اضافه کردن واژه ی عملی بر ماهیت عملی انچه که مدل از آن استخراج می شود تاکید کنید
United States
I follow my binding words everywhere
Native in: Persian (Farsi)
Works in: English to Persian (Farsi), Persian (Farsi) to English, French to Persian (Farsi), and 3 more.
مدلی که از اجرای کار استخراج شده است
Iran
Eager to provide the best quality
Native in: Persian (Farsi)
Works in: English to Persian (Farsi), Persian (Farsi) to English, French to Persian (Farsi), and 3 more.
Something went wrong...