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.

ProjectTitleLine:
Software Model Checking for Embedded Systems
Period:
May 2001 through April 2006
Number:
ARO Agreement DAAD190110564
Investigators:
Matthew Dwyer, John Hatcliff, George Avrunin
InstitutionLine:
Kansas State University
University of Massachusetts (sub-contract)
POC:
dwyer@cis.ksu.edu
Objective:

Project Overview


Project Reports


Tool Usage


Talks


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 (dwyer@cis.ksu.edu), June 1, 2001