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.
Worcester Polytechnic Institute
Major Qualifying Project
Access to this report is limited to members of the WPI community. Please contact a project advisor or their department to request access
Restricted-WPI community only