| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 426840 | Information and Computation | 2010 | 23 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
