AguiaJ |
An pedagogical environment for experimenting object-oriented programming in Java |
ASPA |
A patching tool for JVM class files |
BICA |
An extension of the Java language that enables the verification of Java programs against a session type specification |
ConGu |
A tool that supports the checking of Java classes against property-driven algebraic specifications |
Cooperari |
A tool for cooperative testing of multithreaded Java applications |
MIL |
An assembly language targeted at an abstract multi-processor equipped with a shared main memory |
MOOL |
A mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types |
ParTypes |
A toolchain for validating and synthesising message-based programs for Message Passing Interface programs |
PESTT |
An Eclipse plug-in for learning and designing unit tests for the Java language |
ProPi |
A tool to statically verify whether message passing programs are free from deadlocks |
SePi |
A concurrent, message-passing programming language based on the pi-calculus |
TryIt |
Learn and use RSS tools straight from your web browser |