Invited
CONCUR
On the role of prose in specifications
Specifications should let users find answers to their questions. Those answers should be accessible, unambiguous, consensual, reproducible and auditable in the artefacts users actually read. This paper uses work done by the Arm Architecture Formal Team as a case study in the tensions between those requirements.