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
/15
26. 3. 2013
Složky
Soubory
06_abs.pdf
06_abs.txt
Abstraction
06_abs.pdf
Strejček, J.
22. 3. 2014
02_deductive.pdf
02_deductive.txt
Deductive Software Verification
02_deductive.pdf
Strejček, J.
14. 2. 2014
01_intro.pdf
01_intro.txt
Introduction
01_intro.pdf
Strejček, J.
20. 2. 2015
05_pda.pdf
05_pda.txt
LTL Model Checking of Pushdown Systems
05_pda.pdf
Strejček, J.
3. 4. 2012
04_mc.pdf
04_mc.txt
Model Checking: An Overview
04_mc.pdf
Strejček, J.
13. 3. 2012
08_absint.pdf
08_absint.txt
Static Analysis and Abstract Interpretation
08_absint.pdf
Strejček, J.
17. 4. 2014
07_symbolic.pdf
07_symbolic.txt
Symbolic Execution
07_symbolic.pdf
Strejček, J.
25. 4. 2012
03_acl2.pdf
03_acl2.txt
Theorem Prover ACL2
03_acl2.pdf
Strejček, J.
15. 5. 2014
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í
.
×
×