Downloading Microsoft Research Formula 1.3 from the developer's website was possible when we last checked. We cannot confirm if there is a free download of this software available. We recommend checking the downloaded files with any free antivirus. Microsoft Research Formula relates to Education Tools. The most popular version of the software 1.3. The actual developer of the free program is Microsoft Research. The program's installer file is commonly found as Formula.exe.
From the developer:
FORMULA (Formal Modeling Using Logic Programming and Analysis) is a modern formal specification language targeting model-based development (MBD). It is based on algebraic data types (ADTs) and strongly-typed constraint logic programming (CLP), which support concise specifications of abstractions and model transformations
You may want to check out more software, such as Microsoft Research AutoCollage 2008, Microsoft Research Vcc or Microsoft Portrait, which might be similar to Microsoft Research Formula.
Office Tools