cprover
Background Concepts
Author
Martin Brain, Peter Schrammel

Representations

AST: types, globals, variables, functions, code blocks, language primitives, assignments, expressions, variables

To be documented.

CFG

To be documented.

SSA

To be documented.

Analysis techniques

Bounded model checking

To be documented (can copy from the CBMC manual).

SAT and SMT

To be documented.

Static analysis

To be documented.