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:
IA169
>
Učební materiály
FI:IA169 Model Checking
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
/10
21. 3. 2023
Složky
Soubory
07_abs.pdf
07_abs.txt
Abstraction and CEGAR
07_abs.pdf
Strejček, J.
2. 8. 2024
02_ltl_mc.pdf
02_ltl_mc.txt
Automata-based LTL model checking
02_ltl_mc.pdf
Strejček, J.
2. 8. 2024
05_bmc.pdf
05_bmc.txt
Bounded model checking and k-induction
05_bmc.pdf
Strejček, J.
2. 8. 2024
03_ctl_mc.pdf
03_ctl_mc.txt
CTL model checking
03_ctl_mc.pdf
Strejček, J.
22. 3. 2024
01_intro.pdf
01_intro.txt
Introduction
01_intro.pdf
Strejček, J.
22. 3. 2024
08_pdr.pdf
08_pdr.txt
Property directed reachaility (PDR/IC3)
08_pdr.pdf
Strejček, J.
9. 5. 2024
06_pda.pdf
06_pda.txt
Reachability in pushdown systems
06_pda.pdf
Strejček, J.
1. 5. 2024
04_ctl_symbolic.pdf
04_ctl_symbolic.txt
Symbolic model checking for CTL
04_ctl_symbolic.pdf
Strejček, J.
2. 8. 2024
IA169_07-Symbolic.pdf
IA169_07-Symbolic.txt
Symbolic representations in CTL model checking (prof. Barnat)
IA169_07-Symbolic.pdf
Strejček, J.
4. 4. 2024
na předmět IA169 Model Checking
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í
.
×
×