Editing Specification language (section)

==Languages==
{{main article|:Category:Formal specification languages}}
{{div col|content=
*[[ANSI/ISO C Specification Language|ACSL]]
*[[Attempto Controlled English]]<ref>{{cite book |last1=Fuchs |first1=Norbert E. |first2=Uta |last2=Schwertel |first3=Rolf |last3=Schwitter |chapter=Attempto Controlled English—not just another logic specification language |chapter-url=ftp://nozdr.ru/biblio/kolxo3/Cs/CsLn/Logic%20Programming%20Synthesis%20and%20Transformation,%208%20conf.,%20LOPSTR'98(LNCS1559,%20Springer,%201990)(ISBN%203540657657)(340s).pdf#page=10 |title=International Workshop on Logic Programming Synthesis and Transformation |publisher=Springer |series=Lecture Notes in Computer Science |volume=1559 |year=1998 |isbn=978-3-540-65765-1 |pages=1–20 |doi=10.1007/3-540-48958-4_1}}</ref>
*[[Common Algebraic Specification Language|CASL]]
*[[Vienna Development Method|VDM]]
*[[Z notation]]
*[[TLA+]]
*FizzBee (Python'ish design specification language)<ref>{{cite web |url=https://fizzbee.io/ |title=Easiest-ever formal methods language for developers crafting distributed systems, microservices, and cloud applications |accessdate=May 28, 2024}}</ref>
*[[Lepus3|LePUS3]] (a visual, object-oriented design description language)
*[[Perfect Developer|Perfect]]
*[[Alloy (specification language)|Alloy]]
*[[Language Of Temporal Ordering Specification|LOTOS]]
*[[E-LOTOS]]
*[[MML (programming language)|MML]]
*Refine Language<ref>{{cite book|last=Linden|first=Theodore|author2=Lawrence Markosian|chapter=Transformational Synthesis Using Refine |editor-first=Mark |editor-last=Richer |title=AI Tools and Techniques|date=1989|publisher=Ablex|isbn=0-89391-494-0|pages=261–286|chapter-url=https://books.google.com/books?id=iMUfTzVuasUC&q=Simkit+Intellicorp&pg=PA245|access-date=6 July 2014}}</ref>
*[[SequenceL]]
*[[Symbolic Model Verification|SMV]]
*[[Specification and Design Language|SDL]]
*[[B-Method]]
}}