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

Paolo Felli, Marco Montali, Sarah Winkler

Browse the full AAAI paper archive.