ARO Logo

Software Model Checking for Embedded Systems

This project is funded under the Critical Infrastructure Protection and High Confidence, Adaptable Software (CIP/SW) Research Program of the University Research Initiative (URI).

The project operates as part of the High-Confidence Embedded Systems (HCES) program administered by David Hislop of the Army Research Office.

Software Model Checking for Embedded Systems
May 2001 through April 2006
ARO Agreement DAAD190110564
Matthew Dwyer, John Hatcliff, George Avrunin
Kansas State University
University of Massachusetts (sub-contract)

Project Overview

Project Reports

Tool Usage


Project Publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Related Links

Prepared by Matthew Dwyer (, June 1, 2001