Date of Original Version

10-1993

Type

Conference Proceeding

Abstract or Description

Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic representation, large and complex systems can be analyzed efficiently. This paper summarizes research in applying symbolic analysis methods to systems at several levels of abstraction.

DOI

10.1109/ICCD.1993.393414

Share

COinS