An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

DOI10.1002/NME.698zbMath1063.68691OpenAlexW2162795099MaRDI QIDQ4446673

James A. Lennox, Malcolm L. Graham, Zhiguo Yuan

Publication date: 3 February 2004

Published in: International Journal for Numerical Methods in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/nme.698

zbMATH Keywords

ODEmodel verificationsimulation testingmodel quality assurancemulti-version programming

Mathematics Subject Classification ID

Uses Software

• ACSL
• Simulink

Cites Work

• Unnamed Item

This page was built for publication: An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation