1914 search results - page 63 / 383 » Verification by Abstract Interpretation |
76
Voted
SAS
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
195
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
120
click to vote
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
102
Voted
CJ
2004
15 years 11 days ago
2004
Digital signatures have been proposed by several researchers as a way of preventing execution of malicious code. In this paper we propose a general architecture for performing the...
97
Voted
ICDAR
1997
IEEE
15 years 4 months ago
1997
IEEE
Shape matrices have been used as a representation of planar shapes like industrial parts or printed characters. In this paper, we investigate the use of shape matrices as a mixed ...