nyu-acsys/raven

An automated deductive program verifier based on concurrent separation logic

语言：OCaml · GitHub 星标：35 · Fork：1

话题：automated-reasoning · concurrency · concurrent-data-structure · concurrent-programming · deductive-reasoning · intermediate-verification-languages · separation-logic · verification

在 GitHub 上查看原仓库