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
>
videos
FI:IA159 Formal Verification Methods
Files
Documents
Official notice board
Study Materials
More
Files
Documents
Official notice board
Study Materials
Name
Posted by
Uploaded/Created
Rights
videos
videos
/12
Strejček, J.
1/3/2021
Folders
Files
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
go to course 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í
.
×
×