Those aren’t formal definitions. “Formal” means, at the very least, that the spe...

layer8 on March 11, 2021 | parent | context | favorite | on: Git: Malicious repositories can execute remote cod...

Those aren’t formal definitions. “Formal” means, at the very least, that the specification is done in a formal language, and usually that conformance to the specification can be checked mechanically, that is, by a computer.

https://en.m.wikipedia.org/wiki/Formal_methods