Cost/Complexity
Kind: quality-attribute
Layer: Computation Core
Record: lexicon:cost-complexity
Canonical: Lexicon
The degree of cost and complexity added by formally proving a system correct.
Listed in Lexicon terms, after Continuous Updates and before Dynamic Runtime Behavior.