Keywords: ضعف ترین پیش شرط ها; Correctness; Weakest preconditions; Invariant; Methodology; Subgoals
مقالات ISI ضعف ترین پیش شرط ها (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Verification conditions for source-level imperative programs
Keywords: ضعف ترین پیش شرط ها; Hoare logic; Verification conditions; Program verification; Program annotations; Weakest preconditions; Updates
Formal analysis of modern security protocols
Keywords: ضعف ترین پیش شرط ها; Network security; Formal methods; Cryptographic protocols; Weakest preconditions;
Verification and refinement with fine-grained action-based concurrent objects
Keywords: ضعف ترین پیش شرط ها; Object-based concurrency; Actions; Verification; Refinement; Weakest preconditions;