Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic.

Paolo Felli Marco Montali Sarah Winkler

Published in: CoRR (2022)

Keyphrases

dynamic systems
data analysis
data sets
complex systems
data collection
training data
synthetic data
raw data
database
data processing
data quality
data sources
qualitative reasoning
discrete event
cooperative
probability distribution
data structure
spatial data
model checking