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
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
Learning Materials
um
/18
10/4/2009
Folders
Files
FuzzTesting.pdf
FuzzTesting.txt
Godefroid et al: Automated Whitebox Fuzz Testing
FuzzTesting.pdf
Strejček, J.
26/2/2010
intel.pdf
intel.txt
Replacing Testing with Formal Verification in Intel Core i7...
intel.pdf
Strejček, J.
25/2/2010
notes.pdf
notes.txt
The current version of lecture notes
notes.pdf
Strejček, J.
18/4/2010
01_intro.pdf
01_intro.txt
01_intro.pdf
Strejček, J.
25/2/2010
02_testing.pdf
02_testing.txt
02_testing.pdf
Strejček, J.
21/5/2010
03_deductive.pdf
03_deductive.txt
03_deductive.pdf
Strejček, J.
18/3/2010
04_acl2.pdf
04_acl2.txt
04_acl2.pdf
Strejček, J.
18/3/2010
05_mc.pdf
05_mc.txt
05_mc.pdf
Strejček, J.
18/4/2010
06_ltl2ba.pdf
06_ltl2ba.txt
06_ltl2ba.pdf
Strejček, J.
18/4/2010
07_por.pdf
07_por.txt
07_por.pdf
Strejček, J.
29/4/2010
08_pda.pdf
08_pda.txt
08_pda.pdf
Strejček, J.
29/4/2010
09_abs.pdf
09_abs.txt
09_abs.pdf
Strejček, J.
21/5/2010
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í
.
×
×