Referenced Items are not available for this document.
The formal verification of properties in reactive real-time systems is crucial, as these systems are often safety-critical ones. Refinement is a relevant operation in synchronous languages. In this paper, we argue that, in the synchronous approach to the design and implementation of reactive real-time systems, modular verification (from the point of view of the refining program) is best achieved with observers
Published in:
Quality Software, 2000. Proceedings. First Asia-Pacific Conference on
Date of Conference: 2000
- Page(s):
- 216 - 225
- Meeting Date :
- 30 Oct 2000-31 Oct 2000
- Print ISBN:
- 0-7695-0825-1
- INSPEC Accession Number:
- 6755560
- Conference Location :
- Hong Kong
- Digital Object Identifier :
- 10.1109/APAQ.2000.883795
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
