MARATHON Verification (MARV)
Technical Report,01 Oct 2016,01 Jul 2017
Center for Army Analysis Fort Belvoir United States
Pagination or Media Count:
The Modeling Army Rotation At Home Or Not MARATHON simulation helps analyze the dynamic consequences of force generation policies governing supplies of force structure readied for employment against demands. This study is a comparative verification of the functionality of MARATHON 4 our newest implementation of MARATHON to MARATHON 3 our legacy implementation. They were developed in two different runtimes and have different code bases. We discuss an approach for the verification and lessons learned from the semantic and technical issues we discovered as we implemented the approach.
- Military Operations, Strategy and Tactics
- Computer Systems