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
/23
28/3/2017
Folders
Files
06_abs.pdf
06_abs.txt
Abstraction
06_abs.pdf
Strejček, J.
12/4/2018
acl2_handout.pdf
acl2_handout.txt
acl2_handout.pdf
Strejček, J.
5/3/2018
01_intro.pdf
01_intro.txt
Introduction
01_intro.pdf
Strejček, J.
5/3/2018
03_pda.pdf
03_pda.txt
LTL Model Checking of Pushdown Systems
03_pda.pdf
Strejček, J.
15/3/2018
05_por.pdf
05_por.txt
Partial Order Reduction
05_por.pdf
Strejček, J.
5/4/2018
08_shape.pdf
08_shape.txt
Shape Analysis via 3-Valued Logic
08_shape.pdf
Strejček, J.
10/5/2018
07_absint.pdf
07_absint.txt
Static Analysis and Abstract Interpretation
07_absint.pdf
Strejček, J.
3/5/2018
02_acl2.pdf
02_acl2.txt
Theorem Prover ACL2
02_acl2.pdf
Strejček, J.
5/3/2018
04_ltl2ba.pdf
04_ltl2ba.txt
Translation of LTL to Büchi Automata
04_ltl2ba.pdf
Strejček, J.
22/3/2018
09_ultimate.pdf
09_ultimate.txt
Verification via Automata, Symbolic Execution, and Interpolation
09_ultimate.pdf
Strejček, J.
17/5/2018
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í
.
×
×