323 search results - page 9 / 65 » Verifying the Mondex Case Study |
AVBPA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. A biometric authentication system operates by acquiring biometric data from a user and comparing it against the template data stored in a database in order to identify a ...
ICECCS
1999
IEEE
14 years 2 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
ERSHOV
2009
Springer
13 years 7 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
ECCC
2011
13 years 5 months ago
2011
Polynomial identity testing (PIT) problem is known to be challenging even for constant depth arithmetic circuits. In this work, we study the complexity of two special but natural ...
SSIRI
2010
14 years 1 months ago
2010
—Software reliability is defined as the probability of failure-free operation for a period of time, under certain conditions. To determine whether the reliability of an applicat...