1914 search results - page 112 / 383 » Verification by Abstract Interpretation |
119
click to vote
BIOSIG
2008
15 years 2 months ago
2008
Abstract: Biometric authentication is often considered to enhance identity verification. The use of biometrics also introduces new challenges to protect the privacy of the subjects...
ICSE
2003
IEEE-ACM
16 years 22 days ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
99
Voted
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
101
click to vote
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...