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
>
videos
FI:IA159 Formal Verification Methods
Soubory
Dokumenty
Úřední deska
Studijní materiály
Více
Soubory
Dokumenty
Úřední deska
Studijní materiály
Název
Vložil
Vloženo
Práva
videos
videos
/12
Strejček, J.
1. 3. 2021
Složky
Soubory
Introduction (recording)
lecture1.mp4
Strejček, J.
1. 3. 2021
Partial Order Reduction: Part 1 (recording)
lecture5.mp4
Strejček, J.
29. 3. 2021
Partial Order Reduction: Part 2 (recording)
lecture6.mp4
Strejček, J.
12. 4. 2021
Property Directed Reachability
lecture12.mp4
Strejček, J.
24. 5. 2021
Pushdown Systems: LTL Model Checking (recording)
lecture4.mp4
Strejček, J.
22. 3. 2021
Pushdown Systems: Reachability (recording)
lecture3.mp4
Strejček, J.
15. 3. 2021
Shape Analysis via 3-Valued Logic
lecture10.mp4
Strejček, J.
10. 5. 2021
Static Analysis and Abstract Interpretation
lecture9.mp4
Strejček, J.
3. 5. 2021
Theorem Prover ACL2 (recording)
lecture2.mp4
Strejček, J.
8. 3. 2021
Verification via Automata, Symbolic Execution, and Interpolation
lecture11.mp4
Strejček, J.
17. 5. 2021
na předmět IA159 Formal Verification Methods
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í
.
×
×