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 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
Učební materiály
um
/28
30. 4. 2022
Složky
videos - spring 2021
videos
/12
Strejček, J.
15. 2. 2022
Soubory
06_abs.pdf
06_abs.txt
Abstraction
06_abs.pdf
Strejček, J.
31. 3. 2022
acl2_handout.pdf
acl2_handout.txt
acl2_handout.pdf
Strejček, J.
7. 3. 2021
Bra11.pdf
Bra11.txt
Bradley: SAT-Based Model Checking without Unrolling
Bra11.pdf
Strejček, J.
10. 5. 2020
EMB11.pdf
EMB11.txt
Een et al: Efficient Implementation of Property Directed Reachability
EMB11.pdf
Strejček, J.
10. 5. 2020
01_intro.pdf
01_intro.txt
Introduction
01_intro.pdf
Strejček, J.
10. 2. 2023
King76.pdf
King76.txt
J. C. King: Symbolic Execution and Program Testing
King76.pdf
Strejček, J.
10. 2. 2023
04_por.pdf
04_por.txt
Partial Order Reduction
04_por.pdf
Strejček, J.
16. 3. 2022
10_pdr.pdf
10_pdr.txt
Property Directed Reachability
10_pdr.pdf
Strejček, J.
12. 5. 2022
03_pda.pdf
03_pda.txt
Pushdown Systems: Reachability and LTL Model Checking
03_pda.pdf
Strejček, J.
3. 3. 2022
08_shape.pdf
08_shape.txt
Shape Analysis via 3-Valued Logic
08_shape.pdf
Strejček, J.
28. 4. 2022
07_absint.pdf
07_absint.txt
Static Analysis and Abstract Interpretation
07_absint.pdf
Strejček, J.
21. 4. 2022
02_acl2.pdf
02_acl2.txt
Theorem Prover ACL2
02_acl2.pdf
Strejček, J.
23. 2. 2022
09_ultimate.pdf
09_ultimate.txt
Verification via Automata, Symbolic Execution, and Interpolation
09_ultimate.pdf
Strejček, J.
5. 5. 2022
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í
.
×
×