Integrating formal methods tools to support system design

I
ICECCS
1995
First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95)
Abstract - Integrating formal methods tools to support system design

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Shiu-Kai Chin Articles by J. Faust Articles by J. Giordano

First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95)

Ft. Lauderdale, Florida

November 06-November 10

ISBN: 0-8186-7123-8

	ASCII Text	x
	Shiu-Kai Chin, J. Faust, J. Giordano, "Integrating formal methods tools to support system design," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 88, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995.

	BibTex	x
	@article{ 10.1109/ICECCS.1995.479310, author = {Shiu-Kai Chin and J. Faust and J. Giordano}, title = {Integrating formal methods tools to support system design}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {1995}, isbn = {0-8186-7123-8}, pages = {88}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479310}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - Integrating formal methods tools to support system design SN - 0-8186-7123-8 SP EP A1 - Shiu-Kai Chin, A1 - J. Faust, A1 - J. Giordano, PY - 1995 KW - 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 VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER -

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479310

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.