Open AccessLinear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
Author(s) -
Paolo Felli,
Marco Montali,
Sarah Winkler
Publication year - 2022
Publication title -
proceedings of the aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i5.20505
Subject(s) - decidability , property (philosophy) , computer science , trace (psycholinguistics) , modularity (biology) , linear temporal logic , theoretical computer science , abstraction , finite state machine , model checking , formal verification , algorithm , linguistics , philosophy , epistemology , biology , genetics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom