Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Grama R. Srinivasan
November 1998 - Technical Report A Study of Practice Issues in Model-Based Verification Using the Symbolic Model Verifier (SMV)

Topics: Performance and Dependability

Authors: David P. Gluch, Grama R. Srinivasan

This report presents the results of a study on the practice issues involved in using the Symbolic Model Verifier (SMV) for model checking software systems.