2488 search results - page 117 / 498 » An improvement in formal verification |
127
Voted
ICFP
2005
ACM
16 years 22 days ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
117
click to vote
ENTCS
2002
15 years 17 days ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
124
Voted
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
It is known that the use of video can help improve the performance of face verification systems. However, processing video in resource constrained devices is prohibitive. In order ...
111
click to vote
CAV
1998
Springer
15 years 5 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
123
click to vote
ASM
2010
ASM
15 years 3 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...