Automatic abstraction for model checking software systems with interrelated numeric constraints
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Identifying properties of UML state machine diagrams that affect data and control dependence
Proceedings of the 2011 ACM Symposium on Applied Computing
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
Formal specifications can be hundreds of pages in length 驴 a reflection of the size and complexity of the systems being specified. Lengthy documents are difficult to read, understand, and use. Program slicing was developed to address these issues for programs. In this paper, we apply similar techniques to formal specifications expressed as hierarchicalstate machines. We present a two tiered approach to slicing (or simpli.cation) of hierarchical state machines. We have applied our techniques to a large case study and present empirical data highlighting the reduction and simplification capabilities of our approach to large specifications.