原创力文档- 3
- 0
- 约 16页
- 2017-05-08 发布于上海
- 举报
Variations on Multi-Core Nested Depth-First Search 英文论文文献
VariationsonMulti-CoreNestedDepth-FirstSearch
AlfonsLaarman
JacovandePol
FormalMethodsandTools,UniversityofTwente,TheNetherlands
{a.w.laarman,vdpol}@cs.utwente.nl
Recently, twonewparallelalgorithmsforon-the-?ymodelcheckingofLTLpropertieswerepre-
sented at the same conference: Automated Technology for Veri?cation and Analysis, 2011 . Both
approachesextendSwarmedNDFS,whichrunsseveralsequentialNDFSinstancesinparallel.While
parallel random search already speeds up detection of bugs, the workers must share some global
informationinordertospeedupfullveri?cationofcorrectmodels. Thetwoalgorithmsdi
您可能关注的文档
- Valproic acid induces differentiation and inhibition of proliferation in neural progenitor cells via the beta-catenin-Ras-ERK-p21CipWAF1 pathway 英文论文文献.doc
- Valproate-induced acute encephalopathy 英文论文文献.doc
- Validity, responsiveness and the minimal clinically important difference for the de Morton Mobility Index (DEMMI) in an older acute medical population 英文论文文献.doc
- Value of fecal calprotectin in the evaluation of patients with abdominal discomfort an observational study 英文论文文献.doc
- Validity and predictors of BMI derived from self-reported height and weight among 11- to 17-year-old German adolescents from the KiGGS study 英文论文文献.doc
- Value of adenosine infusion for infarct size determination using real-time myocardial contrast echocardiography 英文论文文献.doc
- Value of soluble TREM-1, procalcitonin, and C-reactive protein serum levels as biomarkers for detecting bacteremia among sepsis patients with new fever in intensive care units a prospective cohort study 英文论文文献.doc
- Value of oral glucose tolerance test in the acute phase of myocardial infarction 英文论文文献.doc
- Value of serum glycated albumin and high-sensitivity C-reactive protein levels in the prediction of presence of coronary artery disease in patients with type 2 diabetes 英文论文文献.doc
- Value of Elective Lymph Node Dissection in the Management of Malignant Melanoma 英文论文文献.doc
- 2025年小学四年级数学期中练习试卷.docx
- OLSR路由协议MPR机制研究与改进.docx
- 昌吉回族自治州呼图壁县2025-2026学年第二学期四年级语文第五单元测试卷(部编版含答案).docx
- 2026年度全国会计专业技术资格（高级）权益法下损益调整核算卷.docx
- 2026年唐山市开平区中小学教师招聘笔试参考题库及答案解析.docx
- OLT设备优化建设研究.docx
- 江门市江海区2025-2026学年第二学期三年级语文期中考试卷(部编版含答案).docx
- 2025年小学四年级道德与法治期末卷.docx
- 2026年兰州市七里河区中小学教师招聘考试参考题库及答案解析.docx
- 新乡市卫辉市2025-2026学年第二学期二年级语文期中考试卷(部编版含答案).docx
文档评论（0）