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 >

Categories

Symmetric Multiprocessing (SMP), Scientific/Engineering

License

BSD License

Follow CheckFence

CheckFence Web Site

Other Useful Business Software
Cloud-based help desk software with ServoDesk Icon
Cloud-based help desk software with ServoDesk

Full access to Enterprise features. No credit card required.

What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
Try ServoDesk for free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of CheckFence!

Additional Project Details

Operating Systems

Linux

Intended Audience

Developers, Science/Research

User Interface

Command-line

Programming Language

C++, OCaml (Objective Caml)

Related Categories

C++ Symmetric Multiprocessing (SMP) Software, C++ Scientific Engineering, OCaml (Objective Caml) Symmetric Multiprocessing (SMP) Software, OCaml (Objective Caml) Scientific Engineering

Registered

2007-02-07
Report inappropriate content