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 - spring 2021
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 - spring 2021
videos
/12
Strejček, J.
15. 2. 2022
Složky
Soubory
Introduction (recording) - spring 2021
lecture1.mp4
Strejček, J.
1. 3. 2021
Partial Order Reduction: Part 1 (recording) - spring 2021
lecture5.mp4
Strejček, J.
29. 3. 2021
Partial Order Reduction: Part 2 (recording) - spring 2021
lecture6.mp4
Strejček, J.
12. 4. 2021
Property Directed Reachability (recording) - spring 2021
lecture12.mp4
Strejček, J.
24. 5. 2021
Pushdown Systems: LTL Model Checking (recording) - spring 2021
lecture4.mp4
Strejček, J.
22. 3. 2021
Pushdown Systems: Reachability (recording) - spring 2021
lecture3.mp4
Strejček, J.
15. 3. 2021
Shape Analysis via 3-Valued Logic (recording) - spring 2021
lecture10.mp4
Strejček, J.
10. 5. 2021
Static Analysis and Abstract Interpretation (recording) - spring 2021
lecture9.mp4
Strejček, J.
3. 5. 2021
Theorem Prover ACL2 (recording) - spring 2021
lecture2.mp4
Strejček, J.
8. 3. 2021
Verification via Automata, Symbolic Execution, and Interpolation (recording) - spring 2021
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í
.
×
×