Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: intermediate-verification-languages

nyu-acsys/raven

An automated deductive program verifier based on concurrent separation logic

Language: OCaml - Size: 8.17 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 14 - Forks: 1

Related Keywords
automated-reasoning 1 concurrency 1 concurrent-data-structure 1 concurrent-programming 1 deductive-reasoning 1 intermediate-verification-languages 1 separation-logic 1 verification 1