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