IEEE - Institute of Electrical and Electronics Engineers, Inc. - Design correctness of digital systems

Proceedings 24th EUROMICRO Conference

Author(s): Huijs, C.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1998
Conference Location: Vasteras, Sweden, Sweden
Conference Date: 27 August 1998
Volume: 1
ISBN (Paper): 0-8186-8646-4
ISSN (Paper): 1089-6503
DOI: 10.1109/EURMIC.1998.711770
Regular:

Transformational design is a formal technique directed at design correctness. It integrates design and verification by the use of pre-proven behaviour preserving transformations as design steps. A... View More

Advertisement