To provide guidelines for developers of mathematical software development and analysis tools on how to use the TraCIM system to undertake independent verification of their mathematical functions by using standalone TraCIM clients. This mechanism will be demonstrated for a number of calculations implemented by ‘built-in’ mathematical functions within National Instruments products. To provide guidelines for users of software development and analysis tools on how to use the TraCIM system to undertake independent verification of their mathematical functions by using integrated TraCIM clients. This mechanism will be demonstrated for a number of calculations implemented by ‘user-generated’ mathematical functions developed using National Instruments products.