Formal Specification Language

(Redirected from formal specification language)

A Formal Specification Language is a modeling language that can describe a formal model.

See: TLA+.

Retrieved from "http://www.gabormelli.com/RKB/index.php?title=Formal_Specification_Language&oldid=780550"