First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95)
Integrating formal methods tools to support system design
Ft. Lauderdale, Florida
November 06-November 10
ISBN: 0-8186-7123-8
Shiu-Kai Chin, Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
J. Faust, Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
J. Giordano, Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
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.
Index Terms:
formal specification; systems analysis; specification languages; formal methods tools integration; system design; system engineering; top-level process descriptions; gate-level hardware designs; specification languages; simulators; model checkers; theorem-provers; computer-aided design tools
Citation:
Shiu-Kai Chin, J. Faust, J. Giordano, "Integrating formal methods tools to support system design," iceccs, pp.88, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995