Ruleset

Kind: artifact

Layer: Computation Core

Record: lexicon:ruleset

Canonical: Lexicon

The set of rules a static analyzer checks source code against.

Listed in Lexicon terms, after Formal Specification and before Tests.

Category

• Correctness / Determinism / Verification

Required by

• Static Analysis

Linked from

• Correctness / Determinism / Verification