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.

• This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.

Creator

• Landry, Brian R.

Publisher

• Worcester Polytechnic Institute

Identifier

• 04D005M

Advisor

• Fisler, Kathryn

Year

• 2004

Date created

• 2004-01-01

Resource type

• Major Qualifying Project

Major

• Computer Science

Rights statement

• In Copyright