1.Previous
3.Next

available.

Specification languages

* Abstract State Machines (ASMs)
* A Computational Logic for Applicative Common Lisp (ACL2)
* Actor model
* Alloy
* ANSI/ISO C Specification Language (ACSL)
* Autonomic System Specification Language

1.Previous
3.Next