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
Kansas State University
University of Massachusetts (sub-contract)
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.
Matthew Dwyer (firstname.lastname@example.org), June 1, 2001