工具
加载中...
FORMULA
2011年8月
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…
大小 : 7176192
人员
Ethan Jackson
Senior Director
Nikolaj Bjørner
Partner Researcher
Laurent Bussard
Senior Software Engineer