Modular Termination Verification for Non-blocking Concurrency.

Pedro da Rocha Pinto Thomas Dinsdale-Young Philippa Gardner Julian Sutherland

Published in: ESOP (2016)

Keyphrases

model checking
database systems
formal verification
databases
modular structure
term rewriting
database
person identification
formal analysis
record linkage
face verification
concurrency control
signature verification
data flow
verification method
concurrent systems
information retrieval