Using Formal Methods for On-The-Fly Time Series Verification.
José Luis Conradi HoffmannLeonardo Passig HorstmannAntônio Augusto FröhlichPublished in: LADC (2023)
Keyphrases
- formal methods
- model checking
- formal analysis
- model checker
- knowledge based systems
- provably correct
- safety critical
- temporal properties
- artificial intelligence
- software engineering
- formal specification
- multivariate time series
- modeling language
- process algebra
- non stationary
- dynamic time warping
- stock market
- reactive systems
- data mining
- databases
- temporal logic
- formal verification
- object oriented
- database