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.
Topics:
License:
Operating System:
Intended Audience:
User Interface:
Programming Language:
Registered:
2007-02-07
Ratings and Reviews
Be the first to post a text review of CheckFence. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Code committed
-
Code committed
-
Code committed
sburck committed patchset 4 of module checkfence to the CheckFence CVS repository, changing 15 files -
Code committed
-
Code committed
-
Code committed
-
Code committed
sburck committed patchset 2 of module checkfence to the CheckFence CVS repository, changing 110 files -
Code committed
sburck committed patchset 1 of module checkfence to the CheckFence CVS repository, changing 110 files -
Code committed
-
Code committed
Rate and Review
Be the first person to add a text review.
Related Projects
CheckFence Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
