A Program Verification System Based on Oz

2005 ◽  
pp. 41-52
Author(s):  
Isabelle Dony ◽  
Baudouin Le Charlier
Keyword(s):  
Program Verification ◽  
Verification System

An interactive program verification system

1975 ◽  
Author(s):  
Donald I. Good ◽  
Ralph L. London ◽  
W. W. Bledsoe
Keyword(s):  
Program Verification ◽  
Interactive Program ◽  
Verification System

A program verification system

1976 ◽  
Author(s):  
Raymond J. Hookway ◽  
George W. Ernst
Keyword(s):  
Program Verification ◽  
Verification System

Program verification system with synthesizer of invariant assertions

1989 ◽  
Vol 20 (1) ◽  
pp. 1-13 ◽  
Author(s):  
Seiichiro Dan ◽  
Takahira Yamaguchi ◽  
Osamu Kakusho ◽  
Yoshikazu Tezuka
Keyword(s):  
Program Verification ◽  
Verification System

Problem-oriented program verification system ?SPEKTR?

Cybernetics ◽  
1988 ◽  
Vol 23 (6) ◽  
pp. 757-765
Author(s):  
V. A. Nepomnyashchii ◽  
S. G. Vorob'ev ◽  
A. A. Sulimov
Keyword(s):  
Program Verification ◽  
Verification System

An interactive program verification system

1975 ◽  
Vol 10 (6) ◽  
pp. 482-492 ◽  
Author(s):  
Donald I. Good ◽  
Ralph L. London ◽  
W. W. Bledsoe
Keyword(s):  
Program Verification ◽  
Interactive Program ◽  
Verification System

An interactive program verification system

1975 ◽  
Vol SE-1 (1) ◽  
pp. 59-67 ◽  
Author(s):  
Donald I. Good ◽  
Ralph L. London ◽  
W. W. Bledsoe
Keyword(s):  
Program Verification ◽  
Interactive Program ◽  
Verification System

The Influence of Template Ageing on a Dynamic Signature Verification System

2014 ◽  
Vol 24 ◽  
pp. 47-52
Author(s):  
Joanna Putz-Leszczynska
Keyword(s):  
Potential Risk ◽  
Signature Verification ◽  
Verification System ◽  
Verification Systems ◽  
Dynamic Signature

This paper addresses template ageing in automatic signature verification systems. Handwritten signatures are a behavioral biometric sensitive to the passage of time. The experiments in this paper utilized a database that contains signature realizations captured in three sessions. The last session was captured seven years after the first one. The results presented in this paper show a potential risk of using an automatic handwriting verification system without including template ageing Purchase Article for $10 

Sign in / Sign up

Export Citation Format

Share Document