Pages tagged Specification present formal specifications for systems, protocols, and structures. A specification defines the required behavior, interfaces, or organization of a system with enough precision to support implementation and verification.
Related tags: formal-methods, proof-assistant.
External alignment: technical standards communities (IETF, W3C), formal specification languages, and software engineering standards practice.