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
/11
31. 8. 2012
Složky
Soubory
ACL2 control script
script.acl2
Obdržálek, J.
4. 3. 2013
acl2_handout.pdf
acl2_handout.txt
ACL2 handout
acl2_handout.pdf
Obdržálek, J.
4. 3. 2013
01_intro.pdf
01_intro.txt
Lecture 01 - Introduction
01_intro.pdf
Obdržálek, J.
25. 2. 2013
02_deductive.pdf
02_deductive.txt
Lecture 02 - Deductive verification
02_deductive.pdf
Obdržálek, J.
26. 2. 2013
03_acl2.pdf
03_acl2.txt
Lecture 03 - Theorem prover ACL2
03_acl2.pdf
Obdržálek, J.
4. 3. 2013
04_mc.pdf
04_mc.txt
Lecture 04 - Model checking
04_mc.pdf
Obdržálek, J.
25. 3. 2013
05_pda.pdf
05_pda.txt
Lecture 05/06 - LTL model checking of PDS
05_pda.pdf
Obdržálek, J.
25. 3. 2013
07_asbtraction.pdf
07_asbtraction.txt
Lecture 07/08 - Abstraction and CEGAR
07_asbtraction.pdf
Obdržálek, J.
22. 4. 2013
09_symbolic.pdf
09_symbolic.txt
Lecture 09 - Symbolic Execution
09_symbolic.pdf
Obdržálek, J.
2. 5. 2013
10_abstract.pdf
10_abstract.txt
Lecture 10 - Abstract Interpretation
10_abstract.pdf
Obdržálek, J.
6. 5. 2013
11_partial_order.pdf
11_partial_order.txt
Lecture 11 - Partial order reduction
11_partial_order.pdf
Obdržálek, J.
13. 5. 2013
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í
.
×
×