Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata.

Alessandro Gianola, Marco Montali, Sarah Winkler

Browse the full AAAI paper archive.