Facebook Twitter LinkedIn Internal Website

Tools and Documentation

TeamPlay tooling and documentation are available here, for additional tooling and documentation see project partner repositories.

 

CECILE

TeamPlay coordination compiler


CSL

The basic interface of the CSL language constructs


PowProfiler

TeamPlay PowProfiler tool for complex architectures


REPPS

Robust Energy and Power Predictor Selection tool extended for TeamPlay


REEL

The basic interface of the REEL language constructs


SecurityAnalyser

INRIA Security Analyser tool


TeamPlay Idris

The Idris proof engine for CSL sources


TeamPlay Ladders

The ladderisation sources


Thumbulator

TeamPlay Thumbulator versions 


YASMIN

YASMIN runtime environment