Verifiable source code documentation in controlled natural language

Verifiable source code documentation in controlled natural language