A system for automatic model verification and validation

A knowledge-based approach for the validation of simulation models: the foundation

ACM Transactions on Modeling and Computer Simulation (TOMACS)

A knowledge-based method for the validation of military simulation

Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come

Some Techniques of Reducing the Dangers of Combinatorial Explosion in Automatic Knowledge Acquisition

Fundamenta Informaticae

ConceVE: Conceptual modeling and formal validation for everyone

ACM Transactions on Modeling and Computer Simulation (TOMACS)