IEEE - Institute of Electrical and Electronics Engineers, Inc. - Synthesizing robust systems

2009 Formal Methods in Computer-Aided Design (FMCAD)

Author(s): Bloem, R. ; Greimel, K. ; Henzinger, T.A. ; Jobstmann, B.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2009
Conference Location: Austin, TX, USA, USA
Conference Date: 15 November 2009
Page(s): 85 - 92
ISBN (CD): 978-1-4244-4966-8
DOI: 10.1109/FMCAD.2009.5351139
Regular:

Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environment deviates from its... View More

Advertisement