|
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 |
