Login / Signup
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version).
Toby Murray
Mukesh Tiwari
Gidon Ernst
David A. Naumann
Published in:
CoRR (2023)
Keyphrases
</>
keywords
prior knowledge
information sharing
information content
data sets
real world
machine learning
higher level
information fusion
verification method