Integrating formal methods tools to support system design

Shiu Kai Chin, John Faust, Joseph Giordano

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish (US)
Title of host publicationProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
PublisherIEEE Computer Society
Pages88-95
Number of pages8
StatePublished - 1995
EventProceedings of the 1995 1st IEEE International Conference on Engineering of Complex Computer Systems - Ft.Lauderdale, FL, USA
Duration: Nov 6 1995Nov 10 1995

Other

OtherProceedings of the 1995 1st IEEE International Conference on Engineering of Complex Computer Systems
CityFt.Lauderdale, FL, USA
Period11/6/9511/10/95

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Fingerprint Dive into the research topics of 'Integrating formal methods tools to support system design'. Together they form a unique fingerprint.

  • Cite this

    Chin, S. K., Faust, J., & Giordano, J. (1995). Integrating formal methods tools to support system design. In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS (pp. 88-95). IEEE Computer Society.