2488 search results - page 136 / 498 » An improvement in formal verification |
90
Voted
CARDIS
2000
Springer
15 years 4 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
137
Voted
ICFP
2004
ACM
16 years 23 days ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
120
Voted
SAC
2010
ACM
14 years 10 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
ECCV
2004
Springer
15 years 6 months ago
2004
Springer
Although some papers argued that multi-sensor fusion could improve performances and robustness of fingerprint verification systems, no previous work explicitly dealt with such topi...
110
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...