Referenced Items are not available for this document.
Today, it's an important requirement to have software systems without any bug. Model checking has proven to be a viable solution for reasoning about behavior properties of many different software artifacts. In this paper, we present a solution to verify software models which formally specified by layered graph transformation systems using a model checker called Bogor.
Published in:
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Date of Conference: 29-31 July 2009
- Page(s):
- 305 - 306
- Print ISBN:
- 978-0-7695-3757-3
- INSPEC Accession Number:
- 10814645
- Conference Location :
- Tianjin
- Digital Object Identifier :
- 10.1109/TASE.2009.40
- 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.
