An open API service indexing awesome lists of open source software.

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

Awesome Lists containing this project