CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.

Project Activity

See All Activity >

License

BSD License

Follow CheckFence

CheckFence Web Site

Other Useful Business Software

Easy Test Automation. Easy Test Automation. Icon
Easy Test Automation. Icon

Scriptless tests, integrated with your pipeline with no infrastructure to maintain. mabl makes test automation easy.

mabl uses machine learning models to automatically identify application issues, including javascript errors, visual regressions, broken links, increased latency, and more.

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of CheckFence!

Additional Project Details

Intended Audience

Developers, Science/Research

User Interface

Command-line

Programming Language

C++, OCaml (Objective Caml)

Registered

2007-02-07