How the Analyzer can Help the User Help the Analyzer

被引：1
|
作者：
Moy, Yannick
机构：
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2021年 / 338期
关键词：
D O I：
10.4204/EPTCS.338.12
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The automation offered by modern program proof tools goes hand in hand with the capability to interact with the tool when the verification fails. The SPARK proof tool tries to help the user by providing the right information, so that the user can help the tool complete the proof. In this article, we present these mechanisms and how they work concretely on a simple running example.
引用
收藏
页码：97 / 104
页数：8
相关论文
共 50 条
  • [1] A Sequence Generator as a Help to the Uses of a Logic Analyzer.
    Anon
    Electronique industrielle, 1982, (33): : 47 - 52
  • [2] Evaluation of a UWB positioning array with the help of a Network Analyzer
    Craeye, Christophe
    Drouguet, Maxime
    2007 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-12, 2007, : 328 - 331
  • [3] WHY USER EDUCATION AND HOW CAN INFORMATION TECHNOLOGY HELP
    FJALLBRANT, N
    IFLA JOURNAL-INTERNATIONAL FEDERATION OF LIBRARY ASSOCIATIONS, 1990, 16 (04): : 405 - 413
  • [4] How can I help you? User instructions in telephone calls
    Steehouder, M
    Hartman, D
    IPCC 2003 PROCEEDINGS, THE SHAPE OF KNOWLEDGE, 2003, : 158 - 165
  • [5] Designing user interaction - How can agile system analysis help
    Das, Asesh
    PROCEEDINGS IEEE SOUTHEASTCON 2008, VOLS 1 AND 2, 2008, : 399 - 403
  • [6] How Can I Help?
    张强
    中学生英语(初中版), 2008, (25) : 21 - 21
  • [7] HOW THE WEST CAN HELP
    RHODES, P
    BRITISH JOURNAL OF HOSPITAL MEDICINE, 1991, 45 (01): : 16 - 17
  • [8] HOW THE GOVERNMENT CAN HELP
    CALLAHAN, JM
    AUTOMOTIVE INDUSTRIES, 1980, 160 (10): : 62 - 63
  • [9] HOW VIDEO CAN HELP
    TORRENCE, DR
    TRAINING AND DEVELOPMENT JOURNAL, 1985, 39 (12) : 50 - 51
  • [10] HOW CAN THE TOXICOLOGIST HELP
    DAYAN, AD
    JOURNAL OF BIOLOGICAL RESPONSE MODIFIERS, 1989, 8 (03): : 310 - 310
12345