This site uses cookies. Some of these cookies are essential to the operation of the site, while others help to improve your experience by providing insights into how the site is being used. For more information, please see the ProZ.com privacy policy.
Cookie settings
  1. KudoZ™ Top
  2. English to Persian (Farsi)
  3. Computers (general)

counterexample producing capability of an off-the-shelf model checker,

Persian (Farsi) translation: مدل‌سنج آماده‌ای که قادر به تولید مثال‌های نقض است

GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW)
English term or phrase:counterexample producing capability of an off-the-shelf model checker,
Persian (Farsi) translation:مدل‌سنج آماده‌ای که قادر به تولید مثال‌های نقض است
Entered by: Reza Mohammadi

10:38 Feb 11, 2020
English to Persian (Farsi) translations [PRO]
Tech/Engineering - Computers (general)
English term or phrase: counterexample producing capability of an off-the-shelf model checker,
To improve the efficiency of test generation, we also
propose model-checking-assisted test case generation algorithms
for proposed test criteria. By utilizing the counterexample
producing capability of an off-the-shelf model
checker, these algorithms automate the test case generation
for reactive systems with B¨uchi automaton.
Reza Mohammadi
Iran
Local time: 08:41
مدل‌سنج آماده‌ای که قادر به تولید مثال‌های نقض است
Explanation:
I preferred to translate it the other way around!
با بکارگیری مدل‌سنج آماده‌ای که قابلیت تولید مثال‌های نقض را داراست
Selected response from:

Ahmad Kabiri
Iran
Local time: 08:41
Grading comment
4 KudoZ points were awarded for this answer



Summary of answers provided
5قابلیت ایجاد مثال نقض وارس مدل در دسترس و آماده/استاندارد
Mohammad Ali Omrani
5مدل‌سنج آماده‌ای که قادر به تولید مثال‌های نقض است
Ahmad Kabiri
5مثال نقض توان تولید بررسی کننده مدل حاضر و آماده
Marzieh Izadi
5با بهره گیری از قابلیت ایجاد مثال نقض ازبررسی کننده ی یک‌مدل در دسترس
esmaeel balaghi
5قابلیت ایجاد یک مثال نقص به وسیله یک وارسی کننده مدل موجود
Pouya Majidi
4توانایی تولید مثال نقض وارس مدل استاندارد
Hamidreza Ghobadi Rad


  

Answers


5 mins   confidence: Answerer confidence 4/5Answerer confidence 4/5
توانایی تولید مثال نقض وارس مدل استاندارد


Explanation:
.

Hamidreza Ghobadi Rad
Works in field
Native speaker of: Persian (Farsi)
PRO pts in category: 48
Login to enter a peer comment (or grade)

8 mins   confidence: Answerer confidence 5/5
قابلیت ایجاد مثال نقض وارس مدل در دسترس و آماده/استاندارد


Explanation:


Mohammad Ali Omrani
Local time: 08:41
Specializes in field
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
PRO pts in category: 64
Login to enter a peer comment (or grade)

40 mins   confidence: Answerer confidence 5/5
مدل‌سنج آماده‌ای که قادر به تولید مثال‌های نقض است


Explanation:
I preferred to translate it the other way around!
با بکارگیری مدل‌سنج آماده‌ای که قابلیت تولید مثال‌های نقض را داراست

Ahmad Kabiri
Iran
Local time: 08:41
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
PRO pts in category: 88
Login to enter a peer comment (or grade)

55 mins   confidence: Answerer confidence 5/5
مثال نقض توان تولید بررسی کننده مدل حاضر و آماده


Explanation:
.

Marzieh Izadi
Local time: 07:11
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
PRO pts in category: 48
Login to enter a peer comment (or grade)

1 hr   confidence: Answerer confidence 5/5
با بهره گیری از قابلیت ایجاد مثال نقض ازبررسی کننده ی یک‌مدل در دسترس


Explanation:
.

esmaeel balaghi
Iran
Local time: 08:41
Specializes in field
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
PRO pts in category: 24
Login to enter a peer comment (or grade)

3 hrs   confidence: Answerer confidence 5/5
قابلیت ایجاد یک مثال نقص به وسیله یک وارسی کننده مدل موجود


Explanation:
off the shelf
not designed or made to order but taken from existing stock or supplies.

Pouya Majidi
Iran
Local time: 08:41
Works in field
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
Login to enter a peer comment (or grade)



Login or register (free and only takes a few minutes) to participate in this question.

You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.

Return to KudoZ list

KudoZ™ translation help

The KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases.

See also:
ProZ.com term search
Search millions of term translations
Close search
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search