{{Commons}}
Formal specification languages supporting formal methods.
Category:Formal specification
Category:Mathematical modeling
Category:Specification languages