Keywords: کاهش سفارش جزئی; Partial order reduction; Stubborn sets; Structural reductions; Reachability analysis; Petri nets;
مقالات ISI کاهش سفارش جزئی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: کاهش سفارش جزئی; Markov automata; Confluence; State space reduction; Process algebra; Divergence-sensitive branching bisimulation; Partial order reduction;
Keywords: کاهش سفارش جزئی; Time workflow net; Soundness; Partial order reduction; State space; Abstraction;
Keywords: کاهش سفارش جزئی; Confluence reduction; Partial order reduction; Ample sets; Probabilistic branching time; Markov decision processes;
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
Keywords: کاهش سفارش جزئی; Explicit model checking; Parallel; On-the-fly; Partial order reduction
Sequential and distributed on-the-fly computation of weak tau-confluence
Keywords: کاهش سفارش جزئی; Boolean equation system; Branching bisimulation; Labelled transition system; Partial order reduction; On-the-fly verification
Distributed Partial Order Reduction of State Spaces
Keywords: کاهش سفارش جزئی; Distributed model-checking; partial order reduction; LTL model-checking;