2488 search results - page 59 / 498 » An improvement in formal verification |
104
click to vote
ENTCS
2006
15 years 21 days ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
TPHOL
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
82
Voted
CATS
2006
15 years 2 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
148
Voted
ICDT
2009
ACM
14 years 10 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
102
Voted
IEEEICCI
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper a novel offline signature verification scheme has been proposed. The scheme is based on selecting 60 feature points from the geometric centre of the signature and co...