Tools for Formal Methods: Languages and Supporting Tools

C

Java

Wasm

OpenCL

CUDA

LLVM-IR

SYCL