Browsing tag: formal  

Community Z Tools 1.5.0

Tools for editing, typechecking and animating Z specifications and related notations

Jul 16th 2009, 19:58 GMT

ToscanaJ 1.6

ToscanaJ is a Java reimplementation of the classic Formal Concept Analysis frontend Toscana.

Apr 11th 2006, 21:06 GMT

AFOS 0.7.0-17

AFOS is a formal and stochastic linguistic tools.

Apr 18th 2005, 14:24 GMT