language: en

Using PVS to Analyze Hierarchical State-Based Requirements for Completeness and Consistency *

Mats P.E. Heimdahl
University of Minnesota, Institute of Technology Department of Computer Science,
4-192 EE/CS Bldg. Minneapolis, MN 55455
heimdahl@cs.umn.edu
Barbara J. Czerny
Department of Computer Science,
A-714 Wells Hall
Michigan State University
East Lansing, MI 48824
czerny@cps.msu.edu

1 Introduction