Login / Signup

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version).

Alessandro GianolaMarco MontaliSarah Winkler
Published in: CoRR (2023)
Keyphrases
  • data structure
  • artificial intelligence
  • database
  • machine learning
  • xml documents
  • data model
  • constraint satisfaction problems