858 search results - page 76 / 172 » Formal Verification of Digital Systems |
AVBPA
2003
Springer
15 years 4 months ago
2003
Springer
A new approach for the personal identification using hand images is presented. This paper attempts to improve the performance of palmprint-based verification system by integrating ...
FMSD
2006
14 years 11 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
106
click to vote
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
123
click to vote
SACMAT
2009
ACM
15 years 5 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
ITC
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper presents a technique to improve verification at the VHDL level of digital circuits by means of a specially designed fault injection block. The injection technique allow...