About this Journal Submit a Manuscript Table of Contents
Advances in Software Engineering
Volume 2011 (2011), Article ID 869182, 13 pages
http://dx.doi.org/10.1155/2011/869182
Research Article

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