TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Spring Security SecureMail Sample Application

Experimental

A sensing and processing middleware for Android designed for privacy protection and control

Submodule used by AndroidWaveProject & Sample Recipes

AndroidWave Client for testing AndroidWave's performance

Sample client for AndroidWave

Special test recipes for AndroidWave that forward sensor data to the client. Used by the AndroidWaveTesterClient.

Simple background logger of AndroidWave data for testing purposes

Submodule used by AndroidWaveProject and WaveClientSample

Additional Recipes for AndroidWave