Distributed state space reductions
Fundamentální problém formální verifikace, takzvaný problém stavové exploze, již byl řešen mnoha způsoby. Dvě skupiny přístupů jsou redukce stavových prostorů a použití paralelních nebo distribuovaných algoritmů. Zatímco se techniky v první skupině snaží zmenšit objem nutně vykonané práce (bezpečným...
Uloženo v:
Hlavní autor: | |
---|---|
Další autoři: | |
Typ dokumentu: | VŠ práce nebo rukopis |
Jazyk: | Angličtina |
Vydáno: |
2008.
|
Témata: | |
On-line přístup: | http://is.muni.cz/th/39589/fi_d/ |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
---|---|---|---|---|---|---|
Dostupné Týdenní |
Fakulta informatiky | Diz. práce 2008. | 42005D2574 |