Sciweavers

MPC
1995
Springer
116views Mathematics» more  MPC 1995»
14 years 4 months ago
Computer-Aided Computing
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
Natarajan Shankar