Name
Abstract | ||
|---|---|---|
PVS stands for “Prototype Verification System.” It consists of a specification language integrated with support tools and a theorem prover. PVS tries to provide the mechanization needed to apply formal methods both rigorously and productively. |
Year | DOI | Venue |
|---|---|---|
1994 | 10.1007/3-540-59047-1_53 | TPCD |
Keywords | Field | DocType |
hardware verification | Specification language,Programming language,Intelligent verification,Computer science,Automated theorem proving,Register file,Verification,Formal methods,High-level verification,Software verification | Conference |
ISBN | Citations | PageRank |
3-540-59047-1 | 22 | 2.53 |
References | Authors | |
13 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sam Owre | 1 | 1323 | 104.39 |
| John Rushby | 2 | 2459 | 235.69 |
| Natarajan Shankar | 3 | 3050 | 309.55 |
| Mandayam K. Srivas | 4 | 471 | 64.76 |