Name
Abstract | ||
|---|---|---|
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are witnessing a shift in emphasis from the verification of abstract hand-built models of code, towards the direct verification of implementation level code. This change in emphasis poses a new set of challenges in software verification. We explore some of them in this paper. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1007/978-3-540-45236-2_4 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
software verification | Functional verification,Model checking,Computer science,Intelligent verification,Theoretical computer science,Verification,Software construction,Software verification and validation,Software development,Software verification | Conference |
Volume | ISSN | Citations |
2805 | 0302-9743 | 9 |
PageRank | References | Authors |
0.63 | 10 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Gerard J. Holzmann | 1 | 3539 | 381.90 |