HOFFMANN, José Luis Conradi; 						HORSTMANN, Leonardo Passig; 						FROHLICH, Antonio Augusto.
 Using Formal Methods for On-The-Fly Time Series Verification. <em>In</em>: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 12.	, 2023, La Paz/Bolívia.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2023
.
 p. 21–29.