首页>
外国专利>
SYSTEM AND METHOD FOR MONOTONIC PARTIAL ORDER REDUCTION
SYSTEM AND METHOD FOR MONOTONIC PARTIAL ORDER REDUCTION
展开▼
机译:单调部分阶约简的系统和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system and method for analyzing concurrent programs that guarantees optimality in the number of thread inter-leavings to be explored. Optimality is ensured by globally constraining the inter-leavings of the local operations of its threads so that only quasi-monotonic sequences of threads operations are explored. For efficiency, a SAT/SMT solver is used to explore the quasi-monotonic computations of the given concurrent program. Constraints are added dynamically during exploration of the concurrent program via a SAT/SMT solver to ensure quasi-montonicity for model checking.
展开▼