2 ms·
For anyone reading the comments first: this is about building codes (i.e. literal physical buildings), not software verification.
by junon 4y ago
For anyone reading the comments first: this is about building codes (i.e. literal physical buildings), not software verification.