- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Advances in Software Engineering
Volume 2011 (2011), Article ID 869182, 13 pages
doi:10.1155/2011/869182
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
1Department of Electrical, Computer, Software, and Systems Engineering, Embry-Riddle Aeronautical University (ERAU), Daytona Beach, FL 32114, USA
2Department of Computer Science, University of Texas at El Paso (UTEP), El Paso, TX 79968, USA
Received 10 December 2010; Accepted 3 March 2011
Academic Editor: Phillip Laplante
Copyright © 2011 Salamah Salamah et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
How to Cite this Article
Salamah Salamah, Ann Q. Gates, Steve Roach, and Matthew Engskow, “Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications,” Advances in Software Engineering, vol. 2011, Article ID 869182, 13 pages, 2011. doi:10.1155/2011/869182