utwente-fmt/vercors

The VerCors verification toolset for verifying parallel and concurrent software

语言：Scala · GitHub 星标：115 · Fork：41

话题：c · concurrency · java · opencl · openmp · parallelism · separation-logic · software-analysis

在 GitHub 上查看原仓库