Software

Many SICS research projects develop software prototypes. Occasionally, a software prototype forms the basis for a new spin-off company. Other times, software prototypes are further developed for either commercial or non-commercial distribution.

Software provided by SICS on a commercial basis

SICStus Prolog

Quintus Prolog

Software provided by SICS for free and "as is"

Niche

Energy Framework

Kompics

MSPSim

PART

PIMP

Mozart

lwIP

uIP

Contiki

Protothreads

AKL, AGENTS, and Penny

ft

PRM

Traces

sView

Agneta and Frida

Easify

Erlang Verification Tool

XACML 3.0 Engine

Assertion Server for XACML 3.0

Software provided by spin-off companies

Tacton Configurator

Simics from Virtutech

BotBox

Delegent from Axiomatics