MSCan: A tool for analyzing MSC specifications

Abstract

Abstract. We present the tool MSCan, which supports MSC-based system development. In particular, it automatically checks high-level MSC specifications for implementability.

    Similar works