Dette prosjektet har til hensikt å kontrollere og verifisere funksjonalitet og nøyaktighet av et matematisk simulasjonsbibliotek laget for SimulationX. Et slikt verifikasjons dokument er kritisk for å kunne garantere for ...