Concurrency verification with maximal path causality.

Qiuping Yi Jeff Huang

Published in: ESEC/SIGSOFT FSE (2018)

Keyphrases

model checking
database systems
formal verification
formal analysis
shortest path
information systems
concurrency control
data sets
causal relationships
endpoints
management system
data structure
case study
data flow
neural network
database
cryptographic protocols
verification method