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 条
  • [31] Combined Off-Line Signature Verification Using Neural Networks
    Kumar, D. R. Shashi
    Kumar, R. Ravi
    Raja, K. B.
    Chhotaray, R. K.
    Pattanaik, Sabyasachi
    INFORMATION AND COMMUNICATION TECHNOLOGIES, 2010, 101 : 580 - +
  • [32] Wavelet-based off-line handwritten signature verification
    Deng, PS
    Liao, HYM
    Ho, CW
    Tyan, HR
    COMPUTER VISION AND IMAGE UNDERSTANDING, 1999, 76 (03) : 173 - 190
  • [33] Score level fusion of classifiers in off-line signature verification
    Yilmaz, Mustafa Berkay
    Yanikoglu, Berrin
    INFORMATION FUSION, 2016, 32 : 109 - 119
  • [34] Off-line writer verification utilizing multiple neural networks
    Huang, K
    Wu, J
    Yan, H
    OPTICAL ENGINEERING, 1997, 36 (11) : 3127 - 3133
  • [35] Observation study of electronic portal images for off-line verification
    Lavertu, S
    Girouard, LM
    Pouliot, J
    RADIOTHERAPY AND ONCOLOGY, 2000, 54 (01) : 47 - 55
  • [36] Impact of Time Variability in Off-line Writer Identification and Verification
    Alonso-Fernandez, Fernando
    Fierrez, Julian
    Gilperez, Almudena
    Ortega-Garcia, Javier
    2009 PROCEEDINGS OF 6TH INTERNATIONAL SYMPOSIUM ON IMAGE AND SIGNAL PROCESSING AND ANALYSIS (ISPA 2009), 2009, : 540 - 545
  • [37] Off-line Signature Verification using G-SURF
    Pal, Srikanta
    Chanda, Sukalpa
    Pal, Umapada
    Franke, Katrin
    Blumenstein, Michael
    2012 12TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS (ISDA), 2012, : 586 - 591
  • [38] Fusion of Features and Classifiers for Off-line Handwritten Signature Verification
    Hu, Juan
    Chen, Youbin
    2011 FIRST ASIAN CONFERENCE ON PATTERN RECOGNITION (ACPR), 2011, : 174 - 178
  • [39] Off-line signature recognition and verification using neural network
    Karki, Maya V.
    Indira, K.
    Selvi, S. Sethu
    ICCIMA 2007: INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND MULTIMEDIA APPLICATIONS, VOL I, PROCEEDINGS, 2007, : 307 - 312
  • [40] New Gradient Features for Off-line Handwritten Signature Verification
    Serdouk, Yasmine
    Nemmour, Hassiba
    Chibani, Youcef
    2015 INTERNATIONAL SYMPOSIUM ON INNOVATIONS IN INTELLIGENT SYSTEMS AND APPLICATIONS (INISTA) PROCEEDINGS, 2015, : 216 - 219
12345