Browsing tag: formal  

ilrt.formalworkflow 1.8

Formal workflow is designed to prevent editing, deletion or reversion of published content from sk...

Dec 5th 2011, 11:19 GMT

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