IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model checking in practice: the T9000 virtual channel processor

Author(s): G. Barrett
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 February 1995
Volume: 21
Page Count: 10
Page(s): 69 - 78
ISSN (Paper): 0098-5589
DOI: 10.1109/32.345823
Regular:

One of the major obstacles to the integration of formal methods in the design of industrial products is the height and gradient of the learning curve, Anything which can alleviate this problem is... View More

Advertisement