Can you build a model?
'►' shortcut: Alt+B
about Formula2 - Formal Modeling Using Logic Programming and Analysis
FORMULA 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. Around this core is a set of composition operators for composing specifications in the style of MBD.
rise4fun © 2017 Microsoft Corporation -
privacy & cookies
code of conduct