Searching for "STP A Mechanized Logic for Specification and Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

A Tutorial on Specification and Verification Using PVS
by N. Shankar, Ps W. Pase, B. A. Silverberg, Rvho John Rushby, Friedrich Von Henke, Sggh James B. Saxe, Stephen J. Garl, John V. Guttag, James J. Horning Using, Ssms R. E. Shostak, R. Schwartz, Verification In D. Lovel, Th International Conference On, Bm Robert S. Boyer, J Strother, Moore Mjrty---a In — 1993
…, and P. M. Melliar-Smith. STP: A mechanized logic for specification and verification. In D. Loveland…
Cited by 14 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB