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

You Might Also Like
Network Performance Monitoring | Statseeker Icon
Network Performance Monitoring | Statseeker

Statseeker is a powerful network performance monitoring solution for businesses

Using just a single server or virtual machine, Statseeker can be up and running within minutes, and discovering your entire network in less than an hour, without any significant effect on your bandwidth availability.
Learn More
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

Science/Research, Developers

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