Skip to top bar
Skip to header
Skip to application menu
Skip to content
Skip to footer
CS
>
Files
>
Study Materials
>
Study materials posted under the course FI:
IA159
>
Learning Materials
FI:IA159 Formal Methods for Software Analysis
Files
Documents
Official notice board
Study Materials
More
Files
Documents
Official notice board
Study Materials
Name
Posted by
Uploaded/Created
Rights
Learning Materials
um
/27
24/3/2024
Folders
Files
04_absint.pdf
04_absint.txt
Abstract Interpretation
04_absint.pdf
Strejček, J.
16/10/2024
02_afl.pdf
02_afl.txt
American Fuzzy Lop
02_afl.pdf
Strejček, J.
2/10/2024
ABLSS24.pdf
ABLSS24.txt
Ayaziová et al.: Software Verification Witnesses 2.0
ABLSS24.pdf
Strejček, J.
1/12/2024
11_others.pdf
11_others.txt
Bounded Model Checking and k-Induction
11_others.pdf
Strejček, J.
4/12/2024
08_cpa.pdf
08_cpa.txt
Configurable Program Analysis
08_cpa.pdf
Strejček, J.
13/11/2024
03_deductive.pdf
03_deductive.txt
Deductive Verification
03_deductive.pdf
Strejček, J.
10/10/2024
05_slicing.pdf
05_slicing.txt
Program Slicing and Points-to Analysis
05_slicing.pdf
Strejček, J.
3/12/2024
06_shape.pdf
06_shape.txt
Shape Analysis via 3-Valued Logic
06_shape.pdf
Strejček, J.
30/10/2024
07_symbolic.pdf
07_symbolic.txt
Symbolic Execution and Applications (new version)
07_symbolic.pdf
Strejček, J.
3/12/2024
07_symbolic_old.pdf
07_symbolic_old.txt
Symbolic Execution and Applications (version used in the lecture)
07_symbolic_old.pdf
Strejček, J.
25/11/2024
09_ultimate.pdf
09_ultimate.txt
Verification via Automata, Symbolic Execution, and Interpolation
09_ultimate.pdf
Strejček, J.
24/11/2024
10_witnesses.pdf
10_witnesses.txt
Verification Witnesses, SV-COMP, and Test-Comp
10_witnesses.pdf
Strejček, J.
1/12/2024
go to course IA159 Formal Methods for Software Analysis
Co je jinak
přidání souboru
Soubor nebo složku lze nahrát pomocí tlačítka
Přidat
.
Co je jinak
další operace se soubory
Podrobnosti lze zjistit označením příslušného
řádku
.
Co je jinak
pohled pro experty
Pro častou práci je možné zvolit režim
Více možností
.
Co je nové
vyhledávání souborů
Vyhledávaný výraz můžete zadat přímo do
adresního řádku
.
Co je nové
rychlý přístup k souborům
Pomocí funkce
Nedávné
je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit
Hvězdičkou
.
Co se chystá
Připravujeme další vylepšení pro
mobilní zařízení
.
×
×