Login / Signup

Modular Verification of State-Based CRDTs in Separation Logic (Artifact).

Abel NietoArnaud Daby-SeesaramLéon GondelmanAmin TimanyLars Birkedal
Published in: Dagstuhl Artifacts Ser. (2023)
Keyphrases
  • asynchronous circuits
  • information retrieval
  • neural network
  • state space
  • data sets
  • databases
  • social networks
  • dynamic programming
  • model checking
  • face verification
  • automated reasoning