Ben L. Di Vito. High-automation proofs for properties of requirements models. Software Tools for Technology Transfer, 2, 1999. To appear. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Efficiently Executing PVS - Shankar (Correct)
....which is about five times slower than a hand built C code simulator for the same processor model. Using an optimizing compiler, the C code can be boosted to nearly 10 million instructions per second. We have also used the evaluator to test some of the functions of the Safer example [C 97, Di 99] which uses nested tables and other challenging constructs. It is tedious to write programs that enumerate the cross product of several ground types in a purely applicative style, so we have not undertaken systematic testing of the Safer functions in the manner advocated by Agerholm and Larsen ....
Ben L. Di Vito. High-automation proofs for properties of requirements models. Software Tools for Technology Transfer, 2, 1999. To appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC