A scheduling strategy for parallel proof checking and verification

被引：0
|
作者：
He Pei [1 ]
Kang Lishan [2 ]
Xiao Zengliang [3 ]
Xiao Zhuoyu [3 ]
机构：
[1] Wuhan Univ, State Key Lab Software Engn, Wuhan 430072, Peoples R China
[2] Wuhan Univ, China Univ Geosci, Wuhan 430072, Peoples R China
[3] Changsha Univ Sci & Technol, Changsha, Hunan 410076, Peoples R China
来源：
PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2 | 2008年
基金：
中国国家自然科学基金;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Proof checking is one of the major concerns of many mechanized formal approaches. This paper first deals with scheduling issues related to parallel proof checking, then applies the obtained result and similar idea to parallel verifications. To facilitate understanding, the discussion is based on INCAPS, an interactive deduction system of temporal logic. This method can also be adapted for improving other mechanized formal systems.
引用
收藏
页码：1823 / +
页数：2
相关论文
共 50 条
  • [31] Proof Checking and Logic Programming
    Miller, Dale
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), 2015, 9527 : 3 - 17
  • [32] Proof verification and proof discovery for relativity
    Govindarajalulu, Naveen Sundar
    Bringsjord, Selmer
    Taylor, Joshua
    SYNTHESE, 2015, 192 (07) : 2077 - 2094
  • [33] Proof verification and proof discovery for relativity
    Naveen Sundar Govindarajalulu
    Selmer Bringsjord
    Joshua Taylor
    Synthese, 2015, 192 : 2077 - 2094
  • [34] Adaptive scheduling strategy optimizer for parallel rolling bearing simulation
    Fritzson, D
    Nordling, P
    FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (05) : 563 - 570
  • [35] Scheduling jobs on parallel systems using a relaxed backfill strategy
    Ward, WA
    Mahood, CL
    West, JE
    JOB SCHEDULING STRATEGIES FOR PARALLEL PROCESSING, 2002, 2537 : 88 - 102
  • [36] Shift scheduling strategy development for parallel hybrid construction vehicles
    Li Tian-yu
    Liu Hui-ying
    Zhang Zhi-wen
    Ding Dao-lin
    JOURNAL OF CENTRAL SOUTH UNIVERSITY, 2019, 26 (03) : 587 - 603
  • [37] Adaptive scheduling strategy optimizer for parallel rolling bearing simulation
    Fritzson, D
    Nordling, P
    HIGH-PERFORMANCE COMPUTING AND NETWORKING, PROCEEDINGS, 1999, 1593 : 99 - 108
  • [38] Fattened backfilling: An improved strategy for job scheduling in parallel systems
    Gomez-Martin, Cesar
    Vega-Rodriguez, Miguel A.
    Gonzalez-Sanchez, Jose-Luis
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2016, 97 : 69 - 77
  • [39] Rational Verification: From Model Checking to Equilibrium Checking
    Wooldridge, Michael
    Gutierrez, Julian
    Harrenstein, Paul
    Marchioni, Enrico
    Perelli, Giuseppe
    Toumi, Alexis
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 4184 - 4190
  • [40] Model checking: Verification or debugging?
    Ruys, TC
    Brinksma, E
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 3009 - 3015
12345