It's not verifiable. It's once again co-authored by Drakon's author, and there is no other independent confirmation that any of his claims are true.
On the contrary, the main Drakon discussion forum has multiple threads and discussions trying and failing to even produce the simplest algorithms in Drakon. Much less anything as complex as aerospace requirements.
Drakon's author himself repeatedly fails to answer any questions about how to implement stuff in Drakon, and only answers with pseudo philosophical demagoguery.
The only notable software produced for Drakon is Drakon Editor https://drakon-editor.sourceforge.net/ which is essentially a UML editor with code concatenation