Tool support for the Z formal notation
object orientated scripting language
An object-oriented script language to embed in any application
A Logo interpreter and programming environment specialized for schools
Kammerjäger is a debugging tool with integrated correctness proving.