cprover
/builddir/build/BUILD/cbmc-cbmc-5.10/doc/architectural/background-concepts.md
Go to the documentation of this file.
1
\ingroup module_hidden
2
\page background-concepts Background Concepts
3
4
\author Martin Brain, Peter Schrammel
5
6
# Representations #
7
8
## AST: types, globals, variables, functions, code blocks, language primitives, assignments, expressions, variables ##
9
10
To be documented.
11
12
## CFG ##
13
14
To be documented.
15
16
## SSA ##
17
18
To be documented.
19
20
# Analysis techniques #
21
22
## Bounded model checking ##
23
24
To be documented (can copy from the CBMC manual).
25
26
## SAT and SMT ##
27
28
To be documented.
29
30
## Static analysis ##
31
32
To be documented.
background-concepts.md
Generated by
1.8.14