Comprehensive Substantive And Formal Verification Of The Design Documentation Provided By The Employer For The Concept Of Adaptation And Modernization Of The New Nac Headquarters (EXPIRED)