Verification of an off-line checker tor priority queues

被引：0
|
作者：
de Nivelle, H [1 ]
Piskac, R [1 ]
机构：
[1] Max Planck Inst Informat, D-66123 Saarbrucken, Germany
来源：
SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings | 2005年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We formally verify the result checker for priority queues that is implemented in LEDA. We have developed a method, based on the notion of implementation, which links abstract specifications to concrete implementations. The method allows non-determinism in the abstract specifications that the concrete implementations have to fill in. We have formally verified that, if the checker has not reported an error up to a certain moment, then the structure it checks has behaved like a priority queue up to that moment. For the verification, we have used the first-order theorem prover Saturate.
引用
收藏
页码：210 / 219
页数：10
相关论文
共 50 条
  • [21] Off-line Signature Verification Based on Multitask Learning
    Ji, You
    Sun, Shiliang
    Jin, Jian
    ADVANCES IN NEURAL NETWORKS - ISNN 2011, PT III, 2011, 6677 : 323 - 330
  • [22] Hindi and English Off-line Signature Identification and Verification
    Pal, Srikanta
    Pal, Umapada
    Blumenstein, Michael
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, 2013, 174 : 905 - +
  • [23] Off-line writer verification based on simple graphemes
    Aubin, Veronica
    Mora, Marco
    Santos-Penas, Matilde
    PATTERN RECOGNITION, 2018, 79 : 414 - 426
  • [24] Off-line signature verification based on feature matching
    Kovari, Bence
    Kertesz, Zsolt
    Major, Attila
    INES 2007: 11TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENGINEERING SYSTEMS, PROCEEDINGS, 2007, : 93 - +
  • [25] A hybrid scheme for off-line Chinese signature verification
    Zuo, WM
    Li, SF
    Zeng, XG
    2004 IEEE CONFERENCE ON CYBERNETICS AND INTELLIGENT SYSTEMS, VOLS 1 AND 2, 2004, : 1402 - 1405
  • [26] A Method of Off-line Signature Verification for Digital Forensics
    Pan, Weiwei
    Chen, Guolong
    2016 12TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2016, : 488 - 493
  • [27] Classification approaches in off-line handwritten signature verification
    Kovari, Bence
    Toth, Benedek
    Charaf, Hassan
    WSEAS Transactions on Mathematics, 2009, 8 (09) : 500 - 509
  • [28] Off-line Handwritten Signature Verification with inflections feature
    Ye, Xiufen
    Hou, Weiping
    Feng, Weixing
    2005 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATIONS, VOLS 1-4, CONFERENCE PROCEEDINGS, 2005, : 787 - 792
  • [29] On-line and Off-line DVS for Fixed Priority with Preemption Threshold Scheduling
    Yang, Liu
    Lin, Man
    2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 273 - 280
  • [30] Signature verification based on fusion of on-line and off-line kernels
    Mottl, Vadim
    Lange, Mikhail
    Sulimova, Valentina
    Yermakov, Alexey
    19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6, 2008, : 3326 - 3329
12345