Completeness and Consistency in Hierarchical State-Based Requirements

This paper describes methods for automatically analyzing formal, state-based requirements specifications for some aspects of completeness and consistency. The approach uses a low-level functional f...