1914 search results - page 79 / 383 » Verification by Abstract Interpretation |
111
Voted
COST
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
99
Voted
HVC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
100
Voted
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
116
click to vote
FC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
FSTTCS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...