Faculty Advisor

Fisler, Kathryn.

Abstract

Computer-aided verification is an emerging technique for ensuring that hardware and software maintain certain properties in all possible scenarios. This case study explored the challenges of verifying FSATS, a U.S. Army field artillery testing and simulation program. In particular, it examined the ability of the Fisler-Krishnamurthi algorithm for model checking to counter the problem of state-space explosion.

Publisher

Worcester Polytechnic Institute

Date Accepted

January 2004

Major

Computer Science

Project Type

Major Qualifying Project

Accessibility

Restricted-WPI community only

Advisor Department

Computer Science

Advisor Program

Computer Science

Share

COinS