icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
About
Our Work
Publications
News and Events
Education and Outreach
Careers
Home
Publications
Authors
Grama R. Srinivasan
Grama R. Srinivasan
Grama Srinivasan is an SEI alumni employee.
All
A Study of Practice Issues in Model-Based Verification Using the Symbolic Model Verifier (SMV)
November 1, 1998
•
Technical Report
By
David P. Gluch
,
Grama R. Srinivasan