Name
Abstract | ||
|---|---|---|
. We have argued previously that the effectiveness of a verificationsystem derives not only from the power of its individual featuresfor expression and deduction, but from the extent to which these capabilitiesare integrated: the whole is more than the sum of its parts [20, 21].Here, we illustrate this thesis by describing a simple construct for tabularspecifications that was recently added to PVS. Because this constructintegrates with other capabilities of PVS, such as... |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1007/BFb0035400 | TACAS |
Keywords | Field | DocType |
model checking | Model checking,Decision table,Computer science,Space Shuttle,Automated theorem proving,Theoretical computer science,Dependent type,Verification system | Conference |
Volume | ISSN | ISBN |
1217 | 0302-9743 | 3-540-62790-1 |
Citations | PageRank | References |
19 | 1.41 | 13 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sam Owre | 1 | 1323 | 104.39 |
| John Rushby | 2 | 2459 | 235.69 |
| Natarajan Shankar | 3 | 3050 | 309.55 |