Abstract
System engineering requires design and verification at several levels of abstraction - from top-level process descriptions down to gate-level hardware designs. A variety of tools such as specification languages, simulators, model checkers, theorem-provers, and other computer-aided design tools are used for designing and verifying systems. These tools must be integrated to support a continuous design flow. We report on the theoretical and practical aspects of integration and discuss our experience with specific tools.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS |
| Publisher | IEEE Computer Society |
| Pages | 88-95 |
| Number of pages | 8 |
| State | Published - 1995 |
| Event | Proceedings of the 1995 1st IEEE International Conference on Engineering of Complex Computer Systems - Ft.Lauderdale, FL, USA Duration: Nov 6 1995 → Nov 10 1995 |
Other
| Other | Proceedings of the 1995 1st IEEE International Conference on Engineering of Complex Computer Systems |
|---|---|
| City | Ft.Lauderdale, FL, USA |
| Period | 11/6/95 → 11/10/95 |
ASJC Scopus subject areas
- General Computer Science
- General Engineering