Sign in
Parameterized Verification under TSO with Data Types.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Florian Furbach
Adwait Godbole
Yacoub G. Hendi
Shankara Narayanan Krishna
Stephan Spengler
Published in:
CoRR (2023)
Keyphrases
</>
data types
database systems
data structure
database management systems
data model
user defined
back end
model checking
database server
data manipulation language
data mining algorithms
data sets
database applications
data analysis
management system
data formats