The need for usable formal methods in verification and validation

• Published in: 2013 Winter Simulations Conference (WSC) pp. 1257 - 1268
• Main Authors: Gore, Ross, Diallo, Saikou
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.12.2013
• Subjects: Analytical models; Computational modeling; Computer science; Debugging; Mathematical model; Predictive models; Syntactics

The process of developing, verifying and validating models and simulations should be straightforward. Unfortunately, following conventional development approaches can render a model design that appeared complete and robust into an incomplete, incoherent and invalid simulation during implementation....