Popular repositories Loading

1. collision_detection_aadl collision_detection_aadl Public

   An AADL model of self-driving car using a collision detection system

   3 3

2. prospect prospect Public

   Time series data generation from probabilistic and independence specifications

   Mathematica 3 1

3. tpclient-pywx tpclient-pywx Public

   Forked from thousandparsec/tpclient-pywx

   The primary client, uses wxPython to look like a native application on Windows, Mac OS X and Linux (Gnome).

   Python 2 1

4. libtpclient-py libtpclient-py Public

   Forked from thousandparsec/libtpclient-py

   A library which includes nice features for developing clients in python, includes things like caching support.

   Python 2 1

5. active active Public

   ACTIVE - a tool for integrating analysis contracts.

   Java 1

6. active-examples active-examples Public

   System and contract examples for the ACTIVE tool.

   1