Optimizing the Running Time of a Trigger Search Algorithm Based on the Principles of Formal Verification of Artificial Neural Networks. Global Journal of Computer Science and Technology, [S. l.], v. 24, n. D1, p. 11–19, 2024. Disponível em: https://testing.computerresearch.org/index.php/computer/article/view/102389. Acesso em: 3 feb. 2026.