Implementação de diferenciação automática em um software de analisador virtual