CoSMed: A Confidentiality-Verified Social Media Platform. Thomas Bauereiss and Andrei Popescu. Arch. Formal Proofs 2021. 2021 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Annual Report 2020/2021 Annual Report 2020/2021 Test-case reduction and deduplication almost for free with transformation-based compiler testing. Test-case reduction and deduplication almost for free with transformation-based compiler testing. Formal verification of high-level synthesis. Formal verification of high-level synthesis. Protocol combinators for modeling, testing, and execution of distributed systems. Protocol combinators for modeling, testing, and execution of distributed systems.
by