nyu-acsys / raven

An automated deductive program verifier based on concurrent separation logic
14Updated this week

Alternatives and similar repositories for raven:

Users that are interested in raven are comparing it to the libraries listed below