788 search results - page 62 / 158 » Design and use of a system-level specification and verificat... |
204
click to vote
TCOS
2010
15 years 1 months ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...
193
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
171
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
134
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
161
click to vote
ASE
2008
15 years 6 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...