Be.uclouvain.jail is a project mainly written in JAVA and SHELL, it's free.

Java Automaton and Induction Tookit