=Scrubber= This scrubber utility removes confidential identifiers from structured XML or plain text by comparing the input text phrases to a list of known identifiers (names, states, etc) and a series of Regular Expressions. While typically used to prepare confidential reports to be compliant...

jSpin is a graphical user interface for the Spin model checker that is used for verifying concurrent and distributed programs. The user interface of jSpin is simple and consists of a single window with menus, a toolbar and three adjustable text areas. Spin option strings are automatically supplied a...

Code for a Bluetooth controlled robotic tank. The robot is controlled by the Parallax Propeller and a Bluetooth wireless serial module. The Bluetooth serial module connects to a Nokia N810 via rfcomm wireless connection. The N810 can control the various servos and DC motors via a simple serial...

To descript the paper "Thwarting Blackhole Attacks in Disruption-Tolerant Networks using Encounter Tickets" in Promela language and then analyze by using SPIN.

Erigone is a partial reimplementation of the Spin Model Checker. The goal is to facilitate learning concurrency and model checking. Erigone is single, self-contained, executable file so that installation and use are trivial. Erigone produces a detailed trace of the model checking algorithms. T...

PropTCP is a TCP/IP stack for the Parallax Propeller P8X32A microcontroller. === Updated! New Beta Posted! === * Sockets Layer Beta / Development Snapshots: http://harrisonpham.com/embedded/PropTCP/beta/ * == News == *Apr 20, 2009* - The latest PropTCP beta has been released. It can be do...

For SIU-Carbondale's RCCARGPS Team 73

VN is a tool for studying the behavior of nondeterministic finite automata (NDFA). It takes a description of an NDFA and generates a nondeterministic program; the program can then be executed randomly or guided interactively. VN can find one or moe accepting computation in an NDFA if they exist. The...

QSEPACK is a library for computing quantum trajectories of n-spin systems on large-dimension state-spaces, using only O(n) time and space resources instead of the O(n^2^) resources that naively are required. QSEPACK provides MATLAB functions for fast matrix-vector multiplication of the structured...

see http://ybox.tv