Microsoft Research Formula

Microsoft Research Formula 1.3

Free
FORMULA is a modern language targeting model-based development
 
1.3 (See all)

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

Info updated on: