Model Checking for Data-Aware Dynamic Systems with Arithmetic.

Paolo Felli Marco Montali Sarah Winkler

Published in: IJCAR (2022)

Keyphrases

dynamic systems
model checking
dynamical systems
temporal logic
complex systems
qualitative reasoning
discrete event
formal verification
temporal properties