Carnegie Mellon University

Software Engineering Institute

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

Report a Vulnerability to CERT/CC
Subscribe to SEI Bulletin
Request Permission to Use SEI Materials

Carnegie Mellon University
Software Engineering Institute
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800

Contact Us

Office Locations
Additional Sites Directory
Legal
Privacy Notice
CMU Ethics Hotline
www.sei.cmu.edu

2024

Carnegie Mellon University