Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na aplikační menu
Přeskočit na obsah
Přeskočit na patičku
EN
>
Soubory
>
Studijní materiály
>
Studijní materiály předmětu FI:
IA159
>
Učební materiály
FI:IA159 Formal Methods for Software Analysis
Soubory
Dokumenty
Úřední deska
Studijní materiály
Více
Soubory
Dokumenty
Úřední deska
Studijní materiály
Název
Vložil
Vloženo
Práva
Učební materiály
um
/20
24. 3. 2024
Složky
Soubory
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
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.
23. 10. 2024
06_shape.pdf
06_shape.txt
Shape Analysis via 3-Valued Logic
06_shape.pdf
Strejček, J.
30. 10. 2024
na předmět 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í
.
×
×