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.