VFMC (Verified Featherweight Multicore C) is a fragment of C enriched with asynchronous memory operations and fork/join primitives, together with function pre-conditions and post-conditions and loop invariants. VFMC aims to serve as an experimental intermediate language for verification of multicore C programs.
Possible uses include verification for heterogeneous architectures with a host CPU and a number of accelerator cores (such as IBM Cell Broadband Engine) or verification of GPU (e.g., CUDA, OpenCL) programs.
Commercial Use
Modify
Distribute
Place Warranty
Hold Liable
Use Trademarks
Include Copyright
Include License
These details are provided for information only. No information here is legal advice and should not be used as such.
30 Day SummaryJun 4 2022 — Jul 4 2022
|
12 Month SummaryJul 4 2021 — Jul 4 2022
|