Contact
DMCA
Privacy
Robuta
https://www.arxiv.org/abs/2309.03442
[2309.03442] Assume but Verify: Deductive Verification of Leaked Information in Concurrent...
Abstract page for arXiv paper 2309.03442: Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)
deductive verification
assume
verify
leaked
information