•        0

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.



Related Projects

Fusion - Framework Usage SpecificatIONs

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 - Jena Android porting

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

Socompr - A Cheat Device For The Socom Fireteam Bravo Series

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

Pluralism - Modular object protocol checking for Java

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