714 search results - page 33 / 143 » Verification and Compliance Testing |
117
Voted
LOGCOM
2010
14 years 7 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
121
Voted
DAC
1994
ACM
15 years 4 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
120
click to vote
VLSID
2000
IEEE
15 years 4 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
107
Voted
FORTE
2009
14 years 10 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
133
Voted
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...