https://github.com/utwente-fmt/vercors
The VerCors verification toolset for verifying parallel and concurrent software
https://github.com/utwente-fmt/vercors
c concurrency java opencl openmp parallelism separation-logic software-analysis vercors-toolset verification viper
Last synced: 4 months ago
JSON representation
The VerCors verification toolset for verifying parallel and concurrent software
- Host: GitHub
- URL: https://github.com/utwente-fmt/vercors
- Owner: utwente-fmt
- License: mpl-2.0
- Created: 2016-03-17T10:58:13.000Z (about 9 years ago)
- Default Branch: dev
- Last Pushed: 2024-11-19T16:30:19.000Z (7 months ago)
- Last Synced: 2024-11-19T17:12:14.381Z (7 months ago)
- Topics: c, concurrency, java, opencl, openmp, parallelism, separation-logic, software-analysis, vercors-toolset, verification, viper
- Language: Scala
- Homepage: https://utwente.nl/vercors
- Size: 539 MB
- Stars: 56
- Watchers: 11
- Forks: 26
- Open Issues: 157
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
- Citation: CITATION.cff
Awesome Lists containing this project
- awesome-java - VerCors