Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / utwente-fmt / vercors
The VerCors verification toolset for verifying parallel and concurrent software
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/utwente-fmt%2Fvercors
Stars: 49
Forks: 24
Open Issues: 138
License: mpl-2.0
Language: Scala
Repo Size: 538 MB
Dependencies:
0
Created: about 8 years ago
Updated: 2 days ago
Last pushed: 6 days ago
Last synced: 6 days ago
Topics: c, concurrency, java, opencl, openmp, parallelism, separation-logic, software-analysis, vercors-toolset, verification, viper
Files
No dependencies found