View source for Public:Third Party Applications

From CVC4

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.

*[http://stardust.qc.com Stardust]: Refinement typechecker for an ML-like language that uses CVC4 as a backend for solving constraints arising from indexed types.
*[http://multicore.doc.ic.ac.uk/tools/GPUVerify/ GPUVerify]: A tool for formal static analysis of GPU kernels written in OpenCL and CUDA. It can prove that kernels are free from defects such as data races and barrier divergence. It is built on top of the Boogie verification engine, using CVC4 as one of the available theorem provers.

'''Please contact us and we'll add your applications here!'''

Return to Public:Third Party Applications.

Retrieved from "http://cvc4.cs.stanford.edu/wiki/Public:Third_Party_Applications"

View source for Public:Third Party Applications

Navigation menu

Views

Personal tools

CVC4

For CVC4 Developers

Cascade

Meta

Wiki

Search

Tools