We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
StEAM, (State Exploring Assembly Model Checker) is a model checker for native concurrent C++ programs. It extends a virtual machine - called ICVM - to perform model checking directly on the assembly level.
A specification language and static analysis to find misuses of complex framework protocols. Overall goals for Fusion: Concise specifications No specifications on plugin code; only the framework is specified. Incremental specifications. There should be no need to specify the entire framework. It can be specified as the need arises. Human-readable error messages. Cost-effective results that provide a balance between false positives and false negatives Works on not just traditional OO frameworks,
Androjena is a porting of Hewlett-Packard's Jena semantic web framework to the Google Android platform. If you just want to use Androjena inside your Android project, please download the latest binary release from the Downloads, and follow the instructions inside the README file. See Jena documentation for usage. If you just want to run Androjena test suite on your device, please download the latest testing application package from the Downloads and install it on your device/emulator. If you wan
This is a cheat device based on sanik's nitepr & MKULTRA V4. When you get the message that says "You have been detected cheating once. further cheating will result in a ban..." it will automatically corrupt your psid so when you log back in you continually get that message and don't get banned. This Revision Brings it to 3, and my tester presented the idea of unlimited cheats, so I Have Removed the ftb1 and ftb2 Hijack Features. ALSO, The AUTO-Corrupter Has Been Removed, as i have changed source
Plural is a sound modular typestate checking tool for Java that employs fractional permissions to allow flexible aliasing control. Plural supports synchronized blocks and atomic blocks for checking concurrent programs. Typestates can be used to define object protocols with finite state machines; Plural's protocols can involve multiple interacting objects. Plural is developed by Nels Beckman and Kevin Bierhoff at Carnegie Mellon University based on their papers published together with Jonathan Al