On hierarchically developing reactive systems

The hierarchical development method is one of the most practical and effective methods for designing large reactive systems by allowing a design at different levels of abstraction. Combining hierarchical specification with hierarchical implementation plays a key role in decreasing the complexity of the verification of these systems. But, up to now, little work has been done related to the topic. In this paper, we investigate this issue.

Authors

• Naijun Zhan
• Mila Majster-Cederbaum

Keywords

• Action refinement
• Modal logics
• Specification
• Verification
• Reactive systems