Fine-Grained Complexity of Safety Verification.

Peter Chini Roland Meyer Prakash Saivasan

Published in: J. Autom. Reason. (2020)

Keyphrases

fine grained
coarse grained
access control
tightly coupled
worst case
massively parallel
model checking
data lineage
privacy preserving